774 search results - page 20 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
151
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
In current peer-to-peer file sharing networks, a large number of peers with heterogeneous connections simultaneously seek to download resources, e.g., files or file fragments, from...
CBSE
2005
Springer
15 years 3 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
82
Voted
SBP
2012
Springer
13 years 5 months ago
2012
Springer
In disasters such as the earthquake in Haiti and the tsunami in Japan, people used social media to ask for help or report injuries. The popularity, efficiency, and ease of use of s...