Sciweavers

3564 search results - page 111 / 713
» Evaluating a Formal Modelling Language
Sort
View
EIS
2011
253views ECommerce» more  EIS 2011»
14 years 4 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
15 years 4 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
86
Voted
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
ERCIMDL
2007
Springer
87views Education» more  ERCIMDL 2007»
15 years 4 months ago
Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
Edgar Meij, Maarten de Rijke
UM
2005
Springer
15 years 3 months ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl