228 search results - page 9 / 46 » A Model-Checking Approach for Service Component Architecture... |
101
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
104
click to vote
DAIS
2009
15 years 23 days ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
WWW
2004
ACM
16 years 10 days ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...
117
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
105
click to vote
ISPDC
2006
IEEE
15 years 5 months ago
2006
IEEE
The centralised management of distributed computing infrastructures presents a number of considerable challenges, not least of which is the effective monitoring of physical resour...