575 search results - page 78 / 115 » Model Checking Restricted Sets of Timed Paths |
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—We study a network model in which each network link is associated with a set of delays and costs. These costs are a function of the delays and reflect the prices paid i...
103
click to vote
AIM
2006
15 years 1 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
103
click to vote
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
122
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
103
click to vote
MOBIHOC
2006
ACM
15 years 11 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...