258 search results - page 36 / 52 » Industrial Semantics and Magic |
113
click to vote
WOA
2007
15 years 26 days ago
2007
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...
CONCUR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
121
click to vote
FAC
2008
14 years 11 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
JOT
2010
14 years 10 months ago
2010
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...