Sciweavers

195 search results - page 19 / 39
» Live Distributed Objects: Enabling the Active Web
Sort
View
WWW
2002
ACM
15 years 10 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
ICAT
2003
IEEE
15 years 2 months ago
Hierarchical QoS Architecture for Networked Virtual Dancing Environment
In this paper, we present the hierarchical QoS architecture for the virtual dancing environment. In this system, geographically distributed users share the virtual dancing hall an...
Jin Ryong Kim, Youjip Won, Beomeun Kim
93
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
TGIS
2010
107views more  TGIS 2010»
14 years 8 months ago
Spatial Planning on the Semantic Web
Land use regulations are an important but often underrated legal domain. In densely populated regions such as the Netherlands, spatial plans have a profound impact on both (local) ...
Rinke Hoekstra, Radboud Winkels, Erik Hupkes
86
Voted
CW
2005
IEEE
15 years 3 months ago
Data Integration for Virtual Enterprise in Cyberworlds
Virtual Enterprise enables companies to collaborate through sharing of resources, and therefore allows them to enjoy the benefits of virtual integration. The essence of Virtual En...
Cheng Leong Ang, Robert Kheng Leng Gay, Olga Souri...