3199 search results - page 52 / 640 » Variability in Automation System Models |
88
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
116
Voted
FMCO
2009
Springer
15 years 13 days 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...
133
Voted
CSMR
2010
IEEE
14 years 9 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 ...
103
click to vote
HAPTICS
2003
IEEE
15 years 8 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 ...
114
Voted
DSD
2007
IEEE
15 years 9 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...