Sciweavers

2050 search results - page 292 / 410
» A formal foundation for process modeling
Sort
View
EOR
2008
74views more  EOR 2008»
15 years 6 months ago
From decision theory to decision aiding methodology
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...
Alexis Tsoukiàs
ETAI
1998
99views more  ETAI 1998»
15 years 6 months ago
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
Murray Shanahan
LCTRTS
2004
Springer
16 years 4 days ago
Spinach: a liberty-based simulator for programmable network interface architectures
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
Paul Willmann, Michael Brogioli, Vijay S. Pai
ARGMAS
2005
Springer
16 years 9 days ago
A Protocol for Arguing About Rejections in Negotiation
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...
Jelle van Veenen, Henry Prakken
APN
2006
Springer
15 years 10 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer