4615 search results - page 899 / 923 » Virtual Classes and Their Implementation |
168
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
125
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
153
Voted
CRYPTO
2008
Springer
15 years 4 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
164
Voted
ECOWS
2008
Springer
15 years 4 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
137
Voted
EUROCRYPT
2008
Springer
15 years 4 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...