10568 search results - page 1617 / 2114 » Computer Intelligence and Formalization |
229
click to vote
CONCUR
2003
Springer
16 years 12 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
195
click to vote
DSVIS
2003
Springer
16 years 12 days ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
196
click to vote
ECOOP
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
158
click to vote
ERSHOV
2003
Springer
16 years 11 days ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
174
click to vote
ICMI
2003
Springer
16 years 11 days ago
2003
Springer
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...