7380 search results - page 711 / 1476 » Engineering Software Intensive Systems |
183
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
184
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
164
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
193
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
216
click to vote
AUIC
2001
IEEE
15 years 11 months ago
2001
IEEE
The growing number of mobile computing devices with diverse characteristics creates a requirement for seamless (device independent) access to computing resources of distributed sy...