1753 search results - page 242 / 351 » State Machines |
142
Voted
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...
125
click to vote
ECML
1993
Springer
15 years 8 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
133
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...
149
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
109
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...