1318 search results - page 3 / 264 » The formal semantics of the timeER model |
TAL
2010
Springer
13 years 2 hour ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
FORTE
2009
13 years 3 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
FAST
2009
13 years 3 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
IANDC
2011
13 years 7 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
MODELS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...