9626 search results - page 497 / 1926 » Invariant Based Programming |
212
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
201
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
183
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
182
click to vote
DEXA
1994
Springer
15 years 11 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
200
click to vote
DAIS
2008
15 years 8 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...