1588 search results - page 136 / 318 » Modular action language |
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...
138
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
122
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
109
Voted
COLING
2000
15 years 5 months ago
2000
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...
138
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...