314 search results - page 40 / 63 » Generating Path Conditions for Timed Systems |
MASCOTS
2007
13 years 9 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
JSAC
2006
13 years 7 months ago
2006
In defending against various network attacks, such as distributed denial-of-service (DDoS) attacks or worm attacks, a defense system needs to deal with various network conditions a...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Recently, a new optical device called variable optical delay line (VODL) has been proposed in the literature. As suggested by its name, the delay of a VODL can be dynamically se...
WSC
2004
13 years 9 months ago
2004
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
PERCOM
2008
ACM
14 years 2 months ago
2008
ACM
Mass causality incidents generate a sequence of response events from the emergency services, requiring the allocation and use of resources in a timely fashion. In this paper we de...