4595 search results - page 571 / 919 » Reasoning about Plans |
110
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
CHI
2009
ACM
15 years 5 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
CMMR
2009
Springer
15 years 5 months ago
2009
Springer
In speech interactions, people routinely reason about each other’s auditory perspective and adjust their manner of speaking accordingly by raising their voice to overcome noise ...
108
Voted
DALT
2009
Springer
15 years 5 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
96
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...