Sciweavers

321 search results - page 33 / 65
» What characterizes a (software) component
Sort
View
MOBIDE
1999
ACM
14 years 1 months ago
Recovery Guarantees in Mobile Systems
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
Cris Pedregal Martin, Krithi Ramamritham
CRIWG
2007
13 years 10 months ago
Fostering Groupware Tailorability Through Separation of Concerns
Groupware must deal with a myriad of concerns. Some of them are typical of “conventional” software while others are idiosyncratic of CSCW applications (e.g., awareness). We cla...
Diego Torres, Alejandro Fernández, Gustavo ...
TSE
2010
125views more  TSE 2010»
13 years 7 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
BMCBI
2006
122views more  BMCBI 2006»
13 years 9 months ago
PET-Tool: a software suite for comprehensive processing and managing of Paired-End diTag (PET) sequence data
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
Kuo Ping Chiu, Chee-Hong Wong, Qiongyu Chen, Prami...
EMSOFT
2005
Springer
14 years 2 months ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele