1486 search results - page 260 / 298 » Mathematical Fuzzy Logics |
102
click to vote
CIA
2007
Springer
15 years 6 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
106
click to vote
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
SIGCSE
2006
ACM
15 years 5 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...
106
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...