Sciweavers

7504 search results - page 319 / 1501
» Computing with Action Potentials
Sort
View
TAP
2009
Springer
96views Hardware» more  TAP 2009»
15 years 11 months ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus
ISPDC
2005
IEEE
15 years 10 months ago
Coordination of Components in a Distributed Discrete-Event System
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
Ahmed Khoumsi
POLICY
2005
Springer
15 years 10 months ago
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol relat...
Piero A. Bonatti, Daniel Olmedilla
GD
2004
Springer
15 years 9 months ago
Algorithms for Drawing Media
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two prin...
David Eppstein
AIIA
2001
Springer
15 years 9 months ago
An Agent Architecture for Planning in a Dynamic Environment
This paper briefly describes a scalable architecture for implementing autonomous agents that act in a virtual world created for a computer game and must interact with it by suitabl...
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu