3828 search results - page 476 / 766 » Proof-Based System Engineering Using a Virtual System Model |
220
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...
206
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
210
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
183
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
160
click to vote
AMDO
2004
Springer
16 years 8 days ago
2004
Springer
Today in many applications the study of human movement using a computer vision and graphics techniques is very useful. One of these applications is the three-dimensional reconstruc...