2836 search results - page 486 / 568 » Model Checking for Software Architectures |
172
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
135
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
202
click to vote
MOBISYS
2006
ACM
16 years 5 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
168
click to vote
IEEECIT
2009
IEEE
16 years 4 days ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
161
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...