2496 search results - page 208 / 500 » Error-detecting properties of languages |
126
Voted
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
135
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
134
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
145
Voted
PARLE
1993
15 years 8 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
119
click to vote
DNA
2006
Springer
15 years 8 months ago
2006
Springer
We examine scattered hairpins, which are structures formed when a single strand of nucleotides folds into a partially hybridized stem and a loop. To specify different classes of h...