305 search results - page 58 / 61 » Proof as Composition: An approach for the Large-granularity ... |
INTERNET
2008
13 years 7 months ago
2008
through suitable abstractions and tools is a viable option for improving servicebased computations. T he past few years have witnessed end users' increasing involve ment in th...
GIS
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
BROADNETS
2006
IEEE
13 years 11 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
ICWS
2008
IEEE
13 years 8 months ago
2008
IEEE
Effective management of Web Services systems relies on accurate understanding of end-to-end transaction flows, which may change over time as the service composition evolves. This ...
ICSOC
2004
Springer
14 years 24 days ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...