2695 search results - page 257 / 539 » A Visual Approach to Validating System Level Designs |
143
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
151
click to vote
WSCG
2004
15 years 5 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...
177
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
164
click to vote
TJS
2002
15 years 3 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
130
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...