Sciweavers

1523 search results - page 228 / 305
» Partially ordered secretaries
Sort
View
97
Voted
ICCS
2001
Springer
15 years 5 months ago
Path Integral Monte Carlo Simulations and Analytical Approximations for High-Temperature Plasmas
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...
V. Filinov, M. Bonitz, D. Kremp, W.-D. Kraeft, V. ...
93
Voted
MASA
2001
Springer
15 years 5 months ago
Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
Sorabain Wolfheart de Lioncourt, Michael Luck
97
Voted
VLDB
2001
ACM
138views Database» more  VLDB 2001»
15 years 5 months ago
A Data Warehousing Architecture for Enabling Service Provisioning Process
In this paper we focus on the following problem in information management: given a large collection of recorded information and some knowledge of the process that is generating th...
Yannis Kotidis
KBSE
2000
IEEE
15 years 5 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
106
Voted
AMAST
2000
Springer
15 years 5 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra