2695 search results - page 370 / 539 » A Visual Approach to Validating System Level Designs |
150
Voted
UML
1998
Springer
15 years 7 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
111
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
150
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
115
click to vote
BMVC
2010
15 years 1 months ago
2010
Multi-camera systems are more and more used in vision-based robotics. An accurate extrinsic calibration is usually required. In most of cases, this task is done by matching featur...
108
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...