1364 search results - page 114 / 273 » Comparative Branching-Time Semantics |
133
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
145
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
123
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
97
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
112
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...