2810 search results - page 517 / 562 » Contract-Based Component System Design |
123
Voted
PLDI
1997
ACM
15 years 6 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...
122
Voted
BMCBI
2008
15 years 2 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 ...
129
Voted
GIS
2010
ACM
15 years 1 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 ...
144
Voted
EMSOFT
2010
Springer
15 years 19 days 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...
149
Voted
SOSP
2007
ACM
15 years 11 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...