1699 search results - page 38 / 340 » A timed semantics of Orc |
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
ENTCS
2010
13 years 9 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
JOT
2006
13 years 8 months ago
2006
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
FOSSACS
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
ACL
2010
13 years 6 months ago
2010
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...