1573 search results - page 115 / 315 » Signs and Formal Concepts |
169
click to vote
KI
2007
Springer
16 years 6 days 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...
158
click to vote
SIGCSE
2006
ACM
16 years 7 hour 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...
161
click to vote
ASWEC
2005
IEEE
15 years 11 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...
148
click to vote
RSP
2005
IEEE
15 years 11 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...
163
click to vote
ESORICS
2004
Springer
15 years 11 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...