615 search results - page 28 / 123 » High-Level Nondeterministic Abstractions in |
150
click to vote
ISORC
2003
IEEE
15 years 10 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...
157
Voted
AMAST
1998
Springer
15 years 9 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...
164
Voted
DAC
2006
ACM
16 years 6 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...
137
Voted
RULEML
2009
Springer
15 years 11 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 ...
145
Voted
CAISE
2004
Springer
15 years 10 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...