1318 search results - page 50 / 264 » The formal semantics of the timeER model |
118
click to vote
VVEIS
2007
15 years 3 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
125
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
102
click to vote
RULEML
2010
Springer
15 years 8 days ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
155
click to vote
AIME
2011
Springer
14 years 1 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
106
click to vote
IEEECIT
2006
IEEE
15 years 8 months ago
2006
IEEE
Dance is the real cultural wealth of any nation and dance media is the source for learning the dance steps by the present and future generation of students. Dance videos exhibit r...