1525 search results - page 103 / 305 » Formal Models for Communication-Based Design |
99
Voted
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
67
Voted
MONET
2006
15 years 19 days ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
111
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
78
Voted
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...