6431 search results - page 711 / 1287 » Model Building by Resolution |
179
click to vote
SG
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
199
click to vote
WISE
2003
Springer
16 years 15 days ago
2003
Springer
In this paper, we further develop a proposed layered approach for the Semantic Web. Our objective is to build a specific solution to the problem of providing data interoperability...
184
click to vote
PODC
2003
ACM
16 years 15 days ago
2003
ACM
We consider the model of unreliable network links, where at each time unit a link might be either up or down. We consider two related problems. The first, establishing end to end...
184
click to vote
FORMATS
2003
Springer
16 years 14 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
192
click to vote
GCC
2003
Springer
16 years 14 days ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...