2205 search results - page 325 / 441 » Mutation Operators for Specifications |
168
Voted
DSOM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract overlay networks have been considered enablers of efficient management for decentralized, large scale service deployments. A Content Delivery Network (CDN) is an example o...
145
click to vote
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
114
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
130
click to vote
EUC
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a qualitative risk analysis of the General Packet Radio Service (GPRS) technology. GPRS presents several essential security weaknesses which may lead to securi...
119
Voted
IE
2007
15 years 4 months ago
2007
Unmanned vehicles (UV’s) are increasingly being employed in civil and military domains often for operations in dangerous environments. Typically these vehicles require some leve...