1224 search results - page 35 / 245 » A Distributed Implementation of the Certified Information Ac... |
96
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
EUROMED
2010
14 years 10 months ago
2010
The unique value of cultural heritage has long been recognized together with the need for accurate and detailed information in order to preserve and manage cultural heritage materi...
108
click to vote
MIDDLEWARE
2010
Springer
14 years 10 months ago
2010
Springer
Recent Internet applications, such as online social networks and user-generated content sharing, produce an unprecedented amount of social information, which is further augmented b...
189
click to vote
GIS
2007
ACM
16 years 26 days 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...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...