2501 search results - page 232 / 501 » Obligations and Their Interaction with Programs |
213
click to vote
SIGCSE
2012
ACM
14 years 1 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
285
click to vote
Book
"Primarily, this book addresses the designer who chooses an application's user-interface elements, lays them out in a set of components, and designs the user interaction ...
145
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
174
click to vote
PERCOM
2007
ACM
16 years 9 days ago
2007
ACM
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
138
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...