1407 search results - page 79 / 282 » Using Use Cases in Executable Z |
154
click to vote
ASE
2004
15 years 3 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
126
click to vote
TAOSD
2010
15 years 2 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
141
click to vote
COREGRID
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
108
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Elliptic curve cryptosystems are nowadays widely used in the design of many security devices. Nevertheless, since not every elliptic curve is useful for cryptographic purposes, me...
156
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...