10159 search results - page 458 / 2032 » System Design Validation Using Formal Models |
153
click to vote
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
145
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
124
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Kinetic (dynamic) typography has demonstrated the ability to add significant emotive content and appeal to expressive text, allowing some of the qualities normally found in film a...
172
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
102
click to vote
TITB
2008
15 years 4 months ago
2008
Abstract--We describe a wireless wearable system that was developed to provide quantitative gait analysis outside the confines of the traditional motion laboratory. The sensor suit...