20126 search results - page 235 / 4026 » Timed Transition Systems |
169
Voted
MOVEP
2000
15 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
141
click to vote
WSC
2004
15 years 5 months ago
2004
This paper explores current metaphors for visualizing agent-based models. Metaphors include grid, network, ndimensional cubes and landscape visualization techniques. A final secti...
125
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
119
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
Authentication of individuals is rapidly becoming an important issue. On-line signature verification is one of the methods that use biometric features. This paper proposes a new H...
143
click to vote
ISWC
2003
IEEE
15 years 9 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...