826 search results - page 62 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
EWSA
2005
Springer
14 years 1 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
ANSS
2001
IEEE
13 years 11 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...