10275 search results - page 165 / 2055 » Case Studies of Autonomy |
139
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
128
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
In spite of the overwhelming success of Free/Open Source Software (F/OSS) like Apache and GNU/Linux, there is a limited understanding of the processes and methodologies that speci...
148
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
152
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Massively Multiplayer Online Games (MMOGs) are an increasingly popular class of real-time interactive distributed applications that require scalable architectures and parallelizat...