1415 search results - page 103 / 283 » Verified systems by composition from verified components |
238
click to vote
Book
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
182
click to vote
EDOC
2006
IEEE
16 years 13 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
236
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
160
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
158
click to vote
IAJIT
2010
15 years 5 months ago
2010
: This paper presents a novel adaptive course composition system that based on mashing up learning content in a web application. The system includes three major components, static ...