7311 search results - page 33 / 1463 » Time in State Machines |
ESCIENCE
2007
IEEE
13 years 11 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
ASSETS
2008
ACM
13 years 9 months ago
2008
ACM
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
TACAS
2005
Springer
14 years 25 days ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
ICISC
2008
13 years 8 months ago
2008
We propose a number of techniques for securing finite state machines (FSMs) against fault injection attacks. The proposed security mechanisms are based on physically unclonable fun...
AVI
2006
13 years 8 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...