2210 search results - page 346 / 442 » Applying a Model-based Approach for Embedded System Developm... |
125
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
145
Voted
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
104
click to vote
BIRTHDAY
1991
Springer
15 years 5 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
121
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
140
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...