771 search results - page 46 / 155 » Modelling and Analysing Socio-Technical Systems |
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
109
click to vote
FM
2008
Springer
15 years 9 days ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
105
click to vote
NIPS
2001
15 years 4 days ago
2001
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according...
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...