2205 search results - page 210 / 441 » Mutation Operators for Specifications |
110
Voted
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
100
Voted
TRIDENTCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract-- It is expected from a Future Internet that a multitude of networks will coexist and complement each other. Such environment allows to run specialized networks possibly p...
137
click to vote
CDC
2009
IEEE
15 years 12 days ago
2009
IEEE
Abstract-- Lifetime maximization is an important optimization problem specific to Wireless Sensor Networks (WSNs) since they operate with limited energy resources which are therefo...
120
Voted
HCI
2009
15 years 11 days ago
2009
Abstract. One of the main challenges of interaction in a ubiquitous environment is the use of hand gestures for interacting with day to day applications. This interaction may be ne...
96
Voted
DALT
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...