6391 search results - page 1052 / 1279 » Agents in Groupware Systems |
148
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
215
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we discuss the consensus problem for a network of dynamic agents with undirected information flow and random switching topologies. The switching is determined by...
125
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
157
click to vote
HYBRID
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...