1318 search results - page 71 / 264 » The formal semantics of the timeER model |
103
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
108
click to vote
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
100
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
119
click to vote
NIPS
2003
15 years 3 months ago
2003
We propose an approach to learning the semantics of images which allows us to automatically annotate an image with keywords and to retrieve images based on text queries. We do thi...
104
click to vote
QSIC
2009
IEEE
15 years 8 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...