Sciweavers

3943 search results - page 329 / 789
» Architecture-Level Requirements Specification
Sort
View
ESTIMEDIA
2006
Springer
15 years 10 months ago
A Mixed-level Co-simulation Method for System-level Design Space Exploration
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
Mark Thompson, Andy D. Pimentel, Simon Polstra, Ca...
3DIM
2001
IEEE
15 years 10 months ago
A Laser Range Scanner Designed for Minimum Calibration Complexity
Laser range scanners are a popular method for acquiring three-dimensional geometry due to their accuracy and robustness. Maximizing scanner accuracy while minimizing engineering c...
James Davis, Xing Chen
AI
2001
Springer
15 years 10 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
ATAL
2003
Springer
15 years 10 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
EDO
2000
Springer
15 years 10 months ago
Towards Designing Distributed Systems with ConDIL
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
Felix Bübl