7103 search results - page 78 / 1421 » Components and Generative Programming |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
IFIP
2001
Springer
14 years 4 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
MMM
2006
Springer
14 years 1 months ago
2006
Springer
We present a video recognition system of a “Go” TV program. It generates a Go play record automatically from a broadcast of Go played by human professionals. “Go” is the a...
WOSP
2000
ACM
14 years 1 days ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...