Sciweavers

394 search results - page 68 / 79
» Composition mechanisms for retrenchment
Sort
View
HASE
2007
IEEE
13 years 10 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
ECOOP
2008
Springer
13 years 10 months ago
Prototyping and Composing Aspect Languages
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...
Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit
APVIS
2010
13 years 10 months ago
Explorable images for visualizing volume data
We present a technique which automatically converts a small number of single-view volume rendered images of the same 3D data set into a compact representation of that data set. Th...
Anna Tikhonova, Carlos D. Correa, Kwan-Liu Ma
ICWS
2008
IEEE
13 years 10 months ago
Extending WS-Notification with an Expressive Event Notification Broker
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...
Sven De Labey, Eric Steegmans
MASCOTS
2004
13 years 10 months ago
Analysis of Peer-to-Peer Systems: Workload Characterization and Effects on Traffic Cacheability
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...
Mauro Andreolini, Riccardo Lancellotti, Philip S. ...