Sciweavers

3424 search results - page 277 / 685
» Building Diverse Computer Systems
Sort
View
ICSOC
2009
Springer
15 years 3 days ago
Towards Ontology Matching for Intelligent Gadgets
The FAST gadget development environment allows users to graphically compose intelligent, i.e., semantically annotated gadgets from predefined building blocks and deploy them on var...
Oszkar Ambrus, Knud Möller, Siegfried Handsch...
ICSOC
2005
Springer
15 years 8 months ago
A Lightweight Formal Framework for Service-Oriented Applications Design
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
ISPDC
2003
IEEE
15 years 7 months ago
tuBiG - A Layered Infrastructure to Provide Support for Grid Functionalities
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
Lenuta Alboaie, Sabin C. Buraga, Sinica Alboaie
ECAI
2000
Springer
15 years 6 months ago
Diagnosis and Diagnosability Analysis Using PEPA
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
Luca Console, Claudia Picardi, Marina Ribaudo
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
15 years 6 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori