3780 search results - page 339 / 756 » Structured Relation Discovery using Generative Models |
207
click to vote
CAISE
2005
Springer
16 years 29 days ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
219
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
237
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
131
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Micro-scanners have been widely used in many optical applications. The micro-scanner presented in this paper uses multimorph-type bending actuators to tilt a square plate mirror. ...
198
click to vote
HYBRID
2005
Springer
16 years 28 days ago
2005
Springer
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...