Sciweavers

4385 search results - page 720 / 877
» Abstraction for Concurrent Objects
Sort
View
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 4 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
ADBIS
2005
Springer
138views Database» more  ADBIS 2005»
15 years 4 months ago
Software Quality and Life Cycles
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
Hannu Jaakkola, Bernhard Thalheim
AE
2005
Springer
15 years 4 months ago
An Immunological Algorithm for Global Numerical Optimization
Abstract. Numerical optimization of given objective functions is a crucial task in many real-life problems. The present article introduces an immunological algorithm for continuous...
Vincenzo Cutello, Giuseppe Narzisi, Giuseppe Nicos...
AIIA
2005
Springer
15 years 4 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
AOSE
2005
Springer
15 years 4 months ago
Automating Model Transformations in Agent-Oriented Modelling
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
Anna Perini, Angelo Susi