1573 search results - page 115 / 315 » Signs and Formal Concepts |
181
click to vote
KI
2007
Springer
16 years 23 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...
171
click to vote
SIGCSE
2006
ACM
16 years 18 days 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...
174
click to vote
ASWEC
2005
IEEE
16 years 8 days 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...
159
click to vote
RSP
2005
IEEE
16 years 6 days 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...
177
click to vote
ESORICS
2004
Springer
16 years 1 days 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...