4270 search results - page 216 / 854 » Implementation of interactive poster |
136
click to vote
AOSE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
110
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
133
Voted
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
146
click to vote
CRIWG
2006
15 years 5 months ago
2006
Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user exp...
166
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...