2740 search results - page 453 / 548 » A Model-Based Approach To Requirements Analysis |
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
Higher transistor transition frequencies, lower supply voltages and smaller physical dimensions are, nowadays, general trends in the semiconductor industry. Operating at lower sup...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
SI3D
2003
ACM
15 years 3 months ago
2003
ACM
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
CAIP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...