1746 search results - page 283 / 350 » A Constructive Semantics for ALC |
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
APN
2010
Springer
14 years 2 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
ESWS
2010
Springer
14 years 2 months ago
2010
Springer
A single datum or a set of a categorical data has little value on its own. Combinations of disparate sets of data increase the value of those data sets and helps to discover intere...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
We explored the possibility of predicting learners’ affective states (boredom, flow/engagement, confusion, and frustration) by monitoring variations in the cohesiveness of tutori...