7557 search results - page 223 / 1512 » Modeling Timed Concurrent Systems |
176
click to vote
ECRTS
2007
IEEE
16 years 26 days ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
197
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
172
click to vote
COLING
2010
15 years 1 months ago
2010
This paper analyzes the contribution of semantic roles to TimeML event recognition and classification. For that purpose, an approach using conditional random fields with a variety...
173
click to vote
SOSP
1989
ACM
15 years 7 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...