1415 search results - page 102 / 283 » Verified systems by composition from verified components |
203
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
136
click to vote
ECBS
2005
IEEE
16 years 12 hour ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
161
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
166
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
139
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
As the complexity of nowadays systems continues to grow, we are moving away from creating individual components from scratch, toward methodologies that emphasize composition of re...