Sciweavers

5196 search results - page 869 / 1040
» State of Application Assessment
Sort
View
ATAL
1999
Springer
15 years 8 months ago
Toward Team-Oriented Programming
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
David V. Pynadath, Milind Tambe, Nicolas Chauvat, ...
137
Voted
IPPS
1999
IEEE
15 years 8 months ago
A Network Status Predictor to Support Dynamic Scheduling in Network-Based Computing Systems
The management of networks has often been ignored in network-based computing systems due to the difficulty of estimating application programs' network latency and bandwidth r...
JunSeong Kim, David J. Lilja
CONCUR
1999
Springer
15 years 8 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
CSL
1999
Springer
15 years 8 months ago
A Road-Map on Complexity for Hybrid Logics
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
Carlos Areces, Patrick Blackburn, Maarten Marx
ISCC
1999
IEEE
121views Communications» more  ISCC 1999»
15 years 8 months ago
Customer Service Management: Towards a Management Information Base for an IP Connectivity Service
Customer Service Management (CSM) offers a management interface between customer and service provider, which enables customers to individually monitor and control their subscribed...
Michael Langer, Stefan Loidl, Michael Nerb