2500 search results - page 116 / 500 » Specifying Behavior in C |
160
click to vote
ICCL
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
112
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
166
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
124
click to vote
JCDL
2003
ACM
15 years 8 months ago
2003
ACM
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
DSVIS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...