Sciweavers

887 search results - page 105 / 178
» Representing Systems with Hidden State
Sort
View
CSCW
1996
ACM
15 years 8 months ago
Policies and Roles in Collaborative Applications
Collaborative systems provide a rich but potentially chaotic environment for their users. This paper presents a system that allows users to control collaboration by enacting polic...
W. Keith Edwards
HOTOS
2009
IEEE
15 years 8 months ago
Peloton: Coordinated Resource Management for Sensor Networks
This paper makes the case that operating system designs for sensor networks should focus on the coordination of resource management decisions across the network, rather than merel...
Jason Waterman, Geoffrey Werner Challen, Matt Wels...
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
15 years 7 months ago
A genetic model based on simulated crossover of quaternary genes for quadratic fitness
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
Marco Carpentieri, Vito Fedullo
131
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
ATAL
2006
Springer
15 years 6 months ago
Camera-based observation of football games for analyzing multi-agent activities
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
Michael Beetz, Nico von Hoyningen-Huene, Jan Bando...