10038 search results - page 1740 / 2008 » Model Checking for Managers |
153
Voted
ANOR
2005
15 years 6 months ago
2005
Sensors are used to monitor traffic in networks. For example, in transportation networks, they may be used to measure traffic volumes on given arcs and paths of the network. This p...
150
click to vote
INTR
2007
15 years 6 months ago
2007
Purpose – The purpose of this paper is to investigate different effects of three network externality factors, i.e. local network size, network strength, and total network size, ...
137
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
182
click to vote
CUZA
2002
15 years 6 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...
172
click to vote
CGA
1999
15 years 5 months ago
1999
displays to abstract network data and let users interactwithit.Wehaveimplementedafull-scaleSwift3D prototype, which generated the examples we present here. Swift-3D We developed Sw...