Sciweavers

3831 search results - page 509 / 767
» Dynamic Context Logic
Sort
View
ICALP
2005
Springer
16 years 4 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
ICSOC
2005
Springer
16 years 4 days ago
Semantic Web Services for Activity-Based Computing
Semantic Web services promise the addition of semantics annotations to Web services in a manner that enables automatic discovery, usage, and integration of services as part of ever...
E. Michael Maximilien, Alex Cozzi, Thomas P. Moran
ICSOC
2005
Springer
16 years 4 days ago
A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
Bart Orriëns, Jian Yang, Mike P. Papazoglou
PDCAT
2005
Springer
16 years 3 days ago
Design of a Security Management Middleware in Ubiquitous Computing Environments
In this paper, we propose a security management middleware in ubiquitous computing environments. This security management should be applicationoriented security and provides user-...
Zhefan Jiang, Kanghee Lee, Sangok Kim, Hyunchul Ba...
PROFES
2005
Springer
16 years 3 days ago
A Rendezvous of Content Adaptable Service and Product Line Modeling
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
Seo Jeong Lee, Soo Dong Kim