7918 search results - page 155 / 1584 » Model Composition Directives |
104
Voted
LEGE
2003
15 years 2 months ago
2003
In this work we want to put in evidence the necessity to integrate theoretical, methodological and didactical aspects with innovative e-learning systems, in order to hypothesize po...
105
Voted
STOC
2002
ACM
16 years 1 months ago
2002
ACM
A fundamental problem of distributed computing is that of simulating a secure broadcast channel, within the setting of a point-to-point network. This problem is known as Byzantine...
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
99
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
121
Voted
ISMAR
2008
IEEE
15 years 7 months ago
2008
IEEE
To achieve a realistic integration of virtual and real imagery in video see-through augmented reality, the rendered images should have a similar appearance and quality to those ca...