3199 search results - page 52 / 640 » Variability in Automation System Models |
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
CSMR
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
DSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...