4419 search results - page 21 / 884 » Information Science in Transition |
75
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
41
Voted
ICEIS
2007
IEEE
15 years 1 months ago
2007
IEEE
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
89
Voted
WSC
2008
15 years 2 min ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...