4595 search results - page 571 / 919 » Reasoning about Plans |
199
Voted
ECOOP
2010
Springer
16 years 12 days 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...
181
click to vote
CHI
2009
ACM
16 years 8 days 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...
186
click to vote
CMMR
2009
Springer
16 years 6 days 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 ...
203
click to vote
DALT
2009
Springer
16 years 6 days 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...
196
click to vote
GI
2009
Springer
16 years 6 days 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 ...