1318 search results - page 24 / 264 » The formal semantics of the timeER model |
168
click to vote
IRI
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
118
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
126
click to vote
IJSWIS
2007
15 years 1 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
142
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
104
click to vote
DLOG
2010
14 years 11 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...