Sciweavers

1283 search results - page 153 / 257
» Science: the rules of the game
Sort
View
HICSS
1998
IEEE
94views Biometrics» more  HICSS 1998»
15 years 10 months ago
An Internet-Based Platform for Testing Generation Scheduling Auctions
This paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment ...
Ray Zimmerman, Robert J. Thomas, Deqiang Gan, Carl...
ICSE
2010
IEEE-ACM
15 years 10 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
ESAW
2006
Springer
15 years 10 months ago
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents
Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs define the rules of the game in agent societies by fixing what agents are permit...
Eva Bou, Maite López-Sánchez, Juan A...
FSTTCS
2000
Springer
15 years 10 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
COMMA
2008
15 years 7 months ago
Arguments from Experience: The PADUA Protocol
In this paper we describe PADUA, a protocol designed to enable agents to debate an issue drawing arguments not from a knowledge base of facts, rules and priorities but directly fro...
Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coene...