615 search results - page 28 / 123 » High-Level Nondeterministic Abstractions in |
ISORC
2003
IEEE
14 years 4 months ago
2003
IEEE
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is on...
AMAST
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
RULEML
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
CAISE
2004
Springer
14 years 4 months ago
2004
Springer
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...