4150 search results - page 214 / 830 » A Practical Approach to Model Extension |
132
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
152
click to vote
COCOON
2006
Springer
15 years 8 months ago
2006
Springer
We consider the problem of reconciling gene trees with a species tree based on the widely accepted Gene Duplication model from Goodman et al. Current algorithms that solve this pro...
ECIS
2001
15 years 5 months ago
2001
Despite their potential to reshape business radically, information systems (IS) and information technology (IT) can be key inhibitors of industry transformation. In the automotive...
128
click to vote
CASCON
1996
15 years 5 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
135
click to vote
WICSA
2008
15 years 5 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...