3457 search results - page 115 / 692 » A Symbol Is Not a Symbol |
FATES
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
97
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
101
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
130
Voted
APN
2000
Springer
15 years 4 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
HPCN
2000
Springer
15 years 4 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...