Sciweavers

4595 search results - page 588 / 919
» Reasoning about Plans
Sort
View
BIRTHDAY
2005
Springer
15 years 2 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
COORDINATION
2008
Springer
15 years 2 months ago
An Event-Based Coordination Model for Context-Aware Applications
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
Angel Núñez, Jacques Noyé
DILS
2008
Springer
15 years 2 months ago
Chemical Knowledge for the Semantic Web
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
Mykola Konyk, Alexander De Leon Battista, Michel D...
117
Voted
DSN
2008
IEEE
15 years 2 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
DSVIS
2008
Springer
15 years 2 months ago
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
Ann Blandford, Paul Curzon, Joanne Hyde, George Pa...