1525 search results - page 49 / 305 » POSD-a notation for presenting complex systems of processes |
141
click to vote
JUCS
2010
15 years 12 days ago
2010
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
104
click to vote
COR
2008
15 years 2 months ago
2008
: The paper presents results on the runtime complexity of two ant colony optimization (ACO) algorithms: Ant System, the oldest ACO variant, and GBAS, the first ACO variant for whic...
ENTCS
2010
15 years 2 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
116
click to vote
ENTCS
2007
15 years 1 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
106
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...