2905 search results - page 253 / 581 » Formal Memetic Algorithms |
MOBICOM
1998
ACM
15 years 3 months ago
1998
ACM
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...
ECP
1997
Springer
15 years 3 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
CSCW
1996
ACM
15 years 3 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
100
click to vote
ASIAN
2006
Springer
15 years 2 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
CAV
2006
Springer
15 years 2 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...