421 search results - page 53 / 85 » Abstract Interpretation of PEPA Models |
FC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
ECIS
2001
13 years 11 months ago
2001
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
HAIS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper introduces an approximate fuzzy representation to FuzzyUCS, a Michigan-style Learning Fuzzy-Classifier System that evolves linguistic fuzzy rules, and studies ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...