1356 search results - page 240 / 272 » A variable-free dynamic semantics |
POPL
1990
ACM
14 years 1 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
FASE
2010
Springer
14 years 1 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
AIPS
2008
14 years 21 hour ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
WSC
2007
14 years 20 hour ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
ASSETS
2008
ACM
13 years 11 months ago
2008
ACM
The World Wide Web (Web) is a visually complex, dynamic, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semant...