4211 search results - page 220 / 843 » A formal approach to MASQ |
159
click to vote
FUZZIEEE
2007
IEEE
16 years 29 days ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
198
click to vote
ICN
2007
Springer
16 years 23 days ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
185
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
183
click to vote
WISE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
176
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...