3307 search results - page 564 / 662 » The meaning of concurrent programs |
206
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
195
click to vote
INTERACTION
2009
ACM
16 years 26 days ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
164
click to vote
C5
2008
IEEE
16 years 25 days ago
2008
IEEE
Introducing technology as a sustainable means of creating, connecting, and collaborating introduces the need to carefully consider subtle aspects of deployment strategies and supp...
159
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— Ubiquitous robots need the ability to adapt their behaviour to the changing situations and demands they will encounter during their lifetimes. In particular, non-technical user...
176
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...