5377 search results - page 444 / 1076 » Programming Languages For Interactive Computing |
255
click to vote
LICS
2009
IEEE
16 years 2 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...
203
click to vote
PPOPP
2009
ACM
16 years 8 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
229
click to vote
PERVASIVE
2006
Springer
15 years 7 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...
223
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
216
click to vote
TOMS
1998
15 years 7 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...