1249 search results - page 194 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ESORICS
2009
Springer
16 years 13 days 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...
AI
2009
Springer
15 years 6 months ago
2009
Springer
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present a novel reversible watermarking scheme for image authentication for JPEG/JPEG-2000 coded images. Since the watermarking scheme is reversible, the exact o...
AOSE
2005
Springer
15 years 5 months ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...