2810 search results - page 517 / 562 » Contract-Based Component System Design |
PLDI
1997
ACM
15 years 3 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
BMCBI
2008
14 years 11 months ago
2008
Background: Biological signaling pathways that govern cellular physiology form an intricate web of tightly regulated interlocking processes. Data on these regulatory networks are ...
GIS
2010
ACM
14 years 9 months ago
2010
ACM
We present Ontuition, a system for mapping ontologies. Transforming data to a usable format for Ontuition involves recognizing and resolving data values corresponding to concepts ...
101
Voted
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
100
click to vote
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...