1746 search results - page 208 / 350 » On the expressiveness of interaction |
149
click to vote
APLAS
2006
ACM
16 years 14 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
163
click to vote
ASWEC
2005
IEEE
16 years 3 days ago
2005
IEEE
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
143
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
161
click to vote
ESOP
2005
Springer
16 years 21 hour ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
145
click to vote
IFL
2005
Springer
16 years 4 hour ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...