Result 1 to 20 of 113 total
Testing adaptive probabilistic software components in cyber systems. (English)
Calinescu, Radu (ed.) et al., Foundations of computer software. Modeling, development, and verification of adaptive systems. 16th Monterey workshop 2010, Redmond, WA, USA, March 31 ‒ April 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21291-8/pbk). Lecture Notes in Computer Science 6662, 228-238 (2011).
1
Formal reasoning about software object translations. (English)
Choppy, Christine (ed.) et al., Foundations of computer software. Future trends and techniques for development. 15th Monterey workshop 2008, Budapest, Hungary, September 24‒26, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12565-2/pbk). Lecture Notes in Computer Science 6028, 43-58 (2010).
2
Testing adaptive probabilistic software components in cyber systems (English)
Monterey Workshop, 228-238 (2010).
3
Innovations in natural language document processing for requirements engineering. (English)
Paech, Barbara (ed.) et al., Innovations for requirement analysis. From stakeholders’ needs to formal designs. 14th Monterey Workshop 2007, Monterey, CA, USA, September 10‒13, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89777-4/pbk). Lecture Notes in Computer Science 5320, 125-146 (2008).
4
Advances in requirements engineering: Bridging the gap between stakeholders’ needs and formal designs. (English)
Paech, Barbara (ed.) et al., Innovations for requirement analysis. From stakeholders’ needs to formal designs. 14th Monterey Workshop 2007, Monterey, CA, USA, September 10‒13, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89777-4/pbk). Lecture Notes in Computer Science 5320, 15-24 (2008).
5
Schema changes and historical information in conceptual models in support of adaptive systems. (English)
Chen, Peter P. (ed.) et al., Active conceptual modeling of learning. Next generation learning-base system development. Berlin: Springer (ISBN 978-3-540-77502-7/pbk). Lecture Notes in Computer Science 4512, 112-121 (2008).
6
Rapid prototyping (English)
Wiley Encyclopedia of Computer Science and Engineering (2008).
7
Formal reasoning about software object translations (English)
Monterey Workshop, 43-58 (2008).
8
Intranet model and metrics. (English)
Commun. ACM 50, No. 2, 43-50 (2007).
9
Reliability properties of models for flexible design and run-time analysis. (English)
Kordon, Fabrice (ed.) et al., Composition of embedded systems. Scientific and industrial issues. 13th Monterey workshop 2006 Paris, France, October 16‒18, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-77418-1/pbk). Lecture Notes in Computer Science 4888, 207-219 (2007).
10
Advanced interface for examining and upgrading complex systems (English)
International Conference on Internet Computing, 280-286 (2007).
11
Advances in requirements engineering: bridging the gap between stakeholders’ needs and formal designs (English)
Monterey Workshop, 15-24 (2007).
12
Innovations in natural language document processing for requirements engineering (English)
Monterey Workshop, 125-146 (2007).
13
An admission control method for dynamic software reconfiguration in complex embedded systems (English)
I. J. Comput. Appl. 13, No. 1, 28-38 (2006).
14
Schema changes and historical information in conceptual models in support of adaptive systems (English)
Active Conceptual Modeling of Learning, 112-121 (2006).
15
Reliability properties of models for flexible design and run-time analysis (English)
Monterey Workshop, 207-219 (2006).
16
Intranet Portal Model and Metrics: A Strategic Management Perspective. (English)
IT Professional 07, No.01, 37-44 (2005).
17
Intranet portal model and metrics: A strategic management perspective (English)
IT Professional 7, No. 1, 37-44 (2005).
18
Nautical predictive routing protocol (NPRP) for the dynamic ad-hoc nautical network (DANN) (English)
Monterey Workshop, 106-120 (2005).
19
FCD: A framework for compositional development in open embedded systems (English)
ITCC (2), 479-484 (2005).
20
Result 1 to 20 of 113 total
Start
Contact
Print
General Help
