6794 search results - page 474 / 1359 » Semantics of Visual Languages |
141
click to vote
UML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
188
click to vote
UML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
184
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
174
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
169
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents the process of acquiring a large, domain independent, taxonomy from the German Wikipedia. We build upon a previously implemented platform that extracts a seman...