635 search results - page 9 / 127 » Towards the formalization of interaction semantics |
ENTCS
2006
14 years 9 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
ICFEM
1998
Springer
15 years 1 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
102
click to vote
SWS
2004
ACM
15 years 2 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
105
Voted
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
106
click to vote
MKM
2004
Springer
15 years 2 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...