Sciweavers

26957 search results - page 163 / 5392
» Information Systems Modernization
Sort
View
ICAC
2005
IEEE
15 years 10 months ago
Self-Adjusting Trust and Selection for Web Services
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
E. Michael Maximilien, Munindar P. Singh
SAC
2004
ACM
15 years 9 months ago
Self-maintained distributed tuples for field-based coordination in dynamic networks
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
Marco Mamei, Franco Zambonelli
ICWE
2004
Springer
15 years 9 months ago
Web Engineering - Old Wine in New Bottles?
Abstract. Modern Web applications are full-fledged, complex software systems. Therefore, the development of Web applications requires a methodologically sound engineering approach ...
Gerti Kappel, Elke Michlmayr, Birgit Pröll, S...
WAC
2004
Springer
122views Communications» more  WAC 2004»
15 years 9 months ago
Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication
Emerging distributed computing scenarios call for novel “autonomic” approaches to distributed systems development and management. In this position paper we analyze the distingu...
Franco Zambonelli, Marco Mamei
MEMOCODE
2003
IEEE
15 years 9 months ago
Methods for exploiting SAT solvers in unbounded model checking
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
Kenneth L. McMillan