4099 search results - page 516 / 820 » A Framework for Interactive Proof |
160
click to vote
COORDINATION
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
177
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
185
click to vote
ICMI
2004
Springer
16 years 1 days ago
2004
Springer
We are interested in applying and extending existing frameworks for combining output modalities for adaptations of multimodal content on heterogeneous devices based on user and de...
162
click to vote
WADT
2004
Springer
16 years 12 hour ago
2004
Springer
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
147
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The negotiation of what is to count as mutually acceptable collaborative knowledge is difficult to conduct when participants cannot interact face-to-face. We review certain relate...