1318 search results - page 73 / 264 » The formal semantics of the timeER model |
130
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
161
Voted
IS
2012
13 years 9 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
121
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
116
click to vote
COORDINATION
2007
Springer
15 years 8 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
102
click to vote
ICST
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a speciï¬cation formalism which is used in industrial train control applications for specifying the real-time behavior ...