11151 search results - page 1946 / 2231 » On the Complexity of Model Expansion |
171
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
138
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Most research on auctions assumes that potential bidders have private information about their willingness to pay for the item being auctioned, and that they use this information s...
163
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
167
click to vote
BALT
2006
15 years 10 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
181
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...