6432 search results - page 145 / 1287 » Classic Mechanism Design |
116
Voted
ISSTA
1996
ACM
15 years 4 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
100
Voted
ACMACE
2004
ACM
15 years 6 months ago
2004
ACM
In efforts to attract a wider audience, videogames are beginning to incorporate adaptive gameplay mechanics. Unlike the more traditional videogame, adaptive games can cater the ga...
123
click to vote
AMEC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we describe an analysis of two double auction markets— the clearing house auction and the continuous double auction. The complexity of these institutions is such th...
99
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper deals with the design and dynamic control simulation of a new type of 4-DOFs parallel mechanism providing 3 translations and 1 rotation for highspeed handling and machi...