ICDE
2010
IEEE
13 years 4 months ago
2010
IEEE
— In publish/subscribe systems, users express their interests in specific items of information and get notified when relevant data items are produced. Such systems allow users ...
POPL
1998
ACM
13 years 8 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
CSMR
1999
IEEE
13 years 8 months ago
1999
IEEE
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...
DEON
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
ICDCSW
2006
IEEE
13 years 10 months ago
2006
IEEE
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...
ICAS
2009
IEEE
13 years 11 months ago
2009
IEEE
Dynamic adaptive systems are becoming increasingly popular due to their ability to adapt to heterogeneous and changing environments. Such systems must avert adverse feature intera...