2364 search results - page 184 / 473 » An Engine for Computing Well-Founded Models |
187
click to vote
ISORC
2005
IEEE
16 years 2 days ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
160
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
174
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
174
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
193
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...