10718 search results - page 818 / 2144 » On the Circuit Implementation Problem |
219
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
184
click to vote
HCI
2007
15 years 9 months ago
2007
Abstract. This paper describes the planning and implementation of a crossborder usability test that was to be executed in five European countries. The usability evaluation was desi...
236
click to vote
HPCNCS
2007
15 years 9 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
170
click to vote
IC
2007
15 years 9 months ago
2007
- The rise in high speed networks has led to an increased interest in the development of grid computing frameworks; the ubiquity of the broadband Internet connection has fostered w...
219
click to vote
IJCAI
2007
15 years 9 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...