2607 search results - page 382 / 522 » On the Architecture of System Verification Environments |
169
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Distributed systems increasingly span organizational boundaries and, with this, system and service management domains. Web services are the primary means of exposing services to c...
184
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
150
click to vote
ICSEA
2006
IEEE
16 years 16 days ago
2006
IEEE
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
235
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
175
click to vote
SERVICES
2008
15 years 8 months ago
2008
The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. MashUps consist in combinin...