1757 search results - page 256 / 352 » Alternating Refinement Relations |
117
click to vote
DALT
2006
Springer
15 years 7 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
105
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In this article we are interested in the representation of qualitative preferences with the help of 3-points intervals (a vector of three increasingly ordered points). Preferences ...
150
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
128
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
114
click to vote
EUROPAR
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...