4693 search results - page 664 / 939 » Verifying Hybrid Systems |
164
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
206
click to vote
TABLEAUX
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
185
click to vote
CSMR
2006
IEEE
16 years 23 days ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
159
click to vote
ICPADS
2006
IEEE
16 years 22 days ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
151
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...