886 search results - page 116 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
110
click to vote
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
118
click to vote
WSC
2000
15 years 2 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
112
click to vote
JSS
2010
14 years 8 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
118
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Local appearance models in the neighborhood of salient image features, together with local and/or global geometric constraints, serve as the basis for several recent and effective...
109
click to vote
MICCAI
2008
Springer
16 years 2 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...