3387 search results - page 373 / 678 » Model-Checking for Real-Time Systems |
211
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
225
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
168
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
"Improv Puppets'' is an interaction paradigm modeled after traditional puppet play. With physical puppets, children move their puppets' bodies and speak their ...
166
Voted
IMAGING
2001
15 years 8 months ago
2001
Real-time mapping pigmentation in human skin is expected to give useful information for reproducing various skin colors and monitoring human conditions in real time. In this resea...
188
click to vote
FORTE
1997
15 years 8 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...