1150 search results - page 123 / 230 » Specifying Information-Flow Controls |
EMSOFT
2006
Springer
13 years 12 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CODES
2001
IEEE
13 years 12 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
ROBOCUP
2000
Springer
13 years 11 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
SIGGRAPH
1991
ACM
13 years 11 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...