900 search results - page 145 / 180 » A Tool-Supported Approach to Testing UML Design Models |
170
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
121
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable o...
109
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
152
Voted
IAT
2003
IEEE
15 years 8 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
105
Voted
ASYNC
2002
IEEE
15 years 8 months ago
2002
IEEE
Events in self-timed rings can propagate evenly spaced or as bursts. By studying these phenomena, we obtain a better understanding of the underlying dynamics of self-timed pipelin...