3311 search results - page 382 / 663 » Deductive Object Programming |
144
Voted
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
101
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...
129
Voted
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
122
Voted
APSEC
1995
IEEE
15 years 7 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
120
Voted
ENTCS
2006
15 years 3 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...