1012 search results - page 140 / 203 » Identification of System Software Components Using Clusterin... |
136
Voted
TOPNOC
2008
15 years 2 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
193
Voted
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
110
Voted
JIRS
2007
15 years 2 months ago
2007
This paper presents a methodology for the realization of intelligent, task-based reconfiguration of the computational hardware for mobile robot applications. Task requirements are ...
127
Voted
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
163
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...