615 search results - page 4 / 123 » High-Level Nondeterministic Abstractions in |
131
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
143
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
165
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
The recognition of activities from sensory data is important in advanced surveillance systems to enable prediction of high-level goals and intentions of the target under surveilla...
111
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
A common breach of network security is the class of attacks called Worm-virus. This paper proposes a language called Triton whose goal is to efficiently and effectively safeguard ...
127
click to vote
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...