15840 search results - page 2925 / 3168 » The Control of Synchronous Systems |
141
click to vote
OOPSLA
1987
Springer
15 years 9 months ago
1987
Springer
This paper shows how an attempt at a uniform and reflective definition resulted in an open-ended system supporting ObjVlisp, which we use to simulate object-oriented language exte...
181
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
165
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Multiobjective evolutionary algorithms have long been applied to engineering problems. Lately they have also been used to evolve behaviors for intelligent agents. In such applicat...
149
click to vote
AIPS
2008
15 years 8 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...
155
click to vote
AVI
2008
15 years 8 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...