19936 search results - page 3571 / 3988 » Inductive process modeling |
176
Voted
ROBOCUP
1999
Springer
15 years 9 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
146
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
140
click to vote
SSDBM
1998
IEEE
15 years 9 months ago
1998
IEEE
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
138
Voted
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
156
click to vote
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...