2836 search results - page 249 / 568 » Model Checking for Software Architectures |
126
click to vote
ISPDC
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
124
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
161
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...
140
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Mobile Augmented Reality System (MARS) based elearning environments equip a learner with a mobile wearable see-through display that interacts with training/learning software. MARS...
119
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...