2171 search results - page 287 / 435 » A Generic Process Algebra |
152
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
114
click to vote
HAPTICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Virtual Prototyping with haptic feedback offers great benefits in the development process of actuated systems. We present a generic control scheme for the haptic render...
139
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The presence of an area with low visibility conditions is a relevant information for autonomous vehicle as far as environment sensing is important regarding safety. In ...
119
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
120
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...