478 search results - page 55 / 96 » Formal Modelling of Cognitive Interpretation |
122
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
102
Voted
ENTCS
2007
15 years 3 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
122
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
143
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
123
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...