3294 search results - page 531 / 659 » Taxonomy of Process Modeling Languages |
107
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
175
Voted
HLPPP
1991
15 years 7 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
142
Voted
WSC
2001
15 years 4 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
133
Voted
TSE
2008
15 years 3 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
115
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Learning visual classifiers for object recognition from weakly labeled data requires determining correspondence between image regions and semantic object classes. Most approaches u...