186 search results - page 2 / 38 » Crafting game-models using reactive system design |
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
UIST
2006
ACM
13 years 11 months ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
CANDC
2009
ACM
14 years 8 days ago
2009
ACM
Crafters today blend age-old techniques such as weaving and pottery with new information and communication technologies such as podcasts, online instructions, and blogs. This inte...
AAAI
2006
13 years 7 months ago
2006
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
B
1998
Springer
13 years 10 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...