285 search results - page 40 / 57 » Towards a Compositional Approach to the Design and Verificat... |
ICAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
ICDCSW
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important problem and many unfair rat...
MOBIQUITOUS
2008
IEEE
14 years 2 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
SIMPRA
2008
13 years 8 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
DAC
2007
ACM
14 years 11 days ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...