1255 search results - page 92 / 251 » A Proof Environment for the Development of Group Communicati... |
SAFECOMP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
W4A
2005
ACM
14 years 2 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Developing countries face signiï¬cant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
JCM
2006
13 years 9 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...