1120 search results - page 114 / 224 » time 1999 |
107
Voted
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
104
click to vote
ECP
1999
Springer
15 years 5 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
LCN
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a protocol for packet switched optical LANs using a star topology. The key element in this network is the use of an intelligent hub, which controls the traffic...
84
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
103
click to vote
ER
1999
Springer
15 years 5 months ago
1999
Springer
“A pattern ... describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can us...