809 search results - page 110 / 162 » Formal Semantics for the Java Modeling Language |
199
Voted
ICOODB
2010
15 years 16 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
116
Voted
WICSA
2004
15 years 4 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
100
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
147
Voted
IJSI
2008
15 years 2 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
141
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...