3564 search results - page 276 / 713 » Evaluating a Formal Modelling Language |
148
click to vote
AMI
2008
Springer
15 years 7 months ago
2008
Springer
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...
156
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
145
click to vote
ISPE
2003
15 years 6 months ago
2003
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
178
Voted
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
127
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...