4987 search results - page 537 / 998 » Fuzzifying P Systems |
179
click to vote
MSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Embedded systems have become common place in industry and domestic electronics, resulting in the need for educational institutions to teach advanced embedded systems design. Exper...
214
click to vote
CAV
2003
Springer
16 years 3 days ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
171
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
169
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads wit...
206
click to vote
FLOPS
1999
Springer
15 years 11 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...