Sciweavers

3435 search results - page 447 / 687
» Aspect Model Unweaving
Sort
View
ISPDC
2005
IEEE
16 years 4 days ago
Enforcing consistency during the adaptation of a parallel component
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
Jérémy Buisson, Françoise And...
LICS
2005
IEEE
16 years 4 days ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
SAINT
2005
IEEE
16 years 4 days ago
Design and Evaluation of a Location-Based Virtual City System for Mobile Phones
We are developing a virtual city system with a model that consists of virtual architectural objects and virtual creatures, geographically overlaid onto the real world. People who ...
Hiroyuki Tarumi, Seiko Tokuda, Tomohiro Yasui, Kaz...
SEW
2005
IEEE
16 years 4 days ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
WETICE
2005
IEEE
16 years 4 days ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...