11022 search results - page 283 / 2205 » Programming Systems for Autonomy |
178
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper considers DoS attacks on DNS wherein attackers flood the nameservers of a zone to disrupt resolution of resource records belonging to the zone and consequently, any of ...
180
Voted
SSR
2001
15 years 8 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
191
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
165
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
166
click to vote
RTSS
2006
IEEE
16 years 22 days ago
2006
IEEE
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations vide the necessary abstractions. An example of this lack of prov...