893 search results - page 149 / 179 » Modeling reactive systems in Java |
99
Voted
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
101
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
107
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
129
click to vote
NPAR
2000
ACM
15 years 6 months ago
2000
ACM
Human faces are attractive and effective in every-day communication. In human-computer interaction, because of the lack of sufficient knowledge and appropriate tools to model and ...
134
click to vote
SIGCSE
2000
ACM
15 years 6 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...