4166 search results - page 714 / 834 » Automating the constraining process |
155
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
130
click to vote
ROBOCUP
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...
152
Voted
AMET
1998
Springer
15 years 7 months ago
1998
Springer
Automated negotiation has been of particular interest due to the relevant role that negotiation plays among trading agents. This paper presents two types of agent architecture: Cas...
140
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
140
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...