1573 search results - page 115 / 315 » Signs and Formal Concepts |
115
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
104
Voted
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
111
Voted
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
101
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
121
Voted
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...