Sciweavers

2274 search results - page 415 / 455
» A Tale of Two Projects
Sort
View
SELMAS
2004
Springer
15 years 11 months ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 11 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
C5
2003
IEEE
15 years 11 months ago
Squeak Workshop Experiences in Kyoto
This poster presentation introduces our first Squeak workshops offered in the context of the ALAN-K (Advanced LeArning Network in Kyoto) project (Konomi and Karuno, 2003), which i...
Hiroki Karuno, Shin'ichi Konomi
DASFAA
2003
IEEE
108views Database» more  DASFAA 2003»
15 years 11 months ago
Spatial Query Processing for High Resolutions
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
15 years 11 months ago
Electronic Government at the Grass Roots: Contemporary Evidence and Future Trends
In this article we explore the short and largely undocumented history of electronic government, discuss the literature of e-government at the local government level, and document ...
Stephen H. Holden, Donald F. Norris, Patricia D. F...