2748 search results - page 335 / 550 » Generating Object-Z Specifications from Use Cases |
165
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Object detection with a learned classifier has been applied successfully to difficult tasks such as detecting faces and pedestrians. Systems using this approach usually learn the ...
163
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
135
click to vote
CRITIS
2007
15 years 6 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
136
click to vote
TRANSCI
2008
15 years 2 months ago
2008
In the aftermath of a large disaster, the routing of vehicles carrying critical supplies can greatly impact the arrival times to those in need. Since it is critical that the deliv...
323
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
The advancements in computing have resulted in a boom of cheap, ubiquitous, connected mobile devices as well as seemingly unlimited, utility style, pay as you go computing resourc...