3885 search results - page 434 / 777 » Clarifying Goal Models |
174
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
204
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
175
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
197
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
The main ideas behind the implementation of the IALP RoboCup team are discussed: an agent architecture made of a hierarchy of behaviors, which can be combined to obtain different ...
154
click to vote
SPW
1999
Springer
15 years 11 months ago
1999
Springer
In the near future, many personal electronic devices will be able to communicate with each other over a short range wireless channel. We investigate the principal security issues f...