5451 search results - page 1002 / 1091 » Typed Operational Semantics |
153
click to vote
ER
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
132
click to vote
ICMI
2005
Springer
15 years 8 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
120
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
148
click to vote
RSFDGRC
2005
Springer
15 years 8 months ago
2005
Springer
The paper concerns failing queries in incomplete Distributed Autonomous Information Systems (DAIS) based on attributes which are hierarchical and which semantics at different site...
115
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...