2002 search results - page 268 / 401 » Interactive technical illustration |
90
Voted
OTM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
140
click to vote
CASCON
2010
14 years 10 months ago
2010
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
105
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
94
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
112
Voted
ICAI
2009
14 years 10 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...