4794 search results - page 113 / 959 » Trust-Based Mechanism Design |
145
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
83
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present the design of a swallowable (11mm diameter by 25mm long), 12-legged endoscopic capsule for locomotion in the lower gastro intestinal tract (large bowel)...
141
click to vote
ISSTA
1996
ACM
15 years 7 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...
107
Voted
COMPSAC
2004
IEEE
15 years 7 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...
119
Voted
ACMACE
2004
ACM
15 years 9 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...