834 search results - page 159 / 167 » Anaphora and the Logic of Change |
117
click to vote
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
The Mobile IP (MIP) protocol for IP version 4 provides continuous Internet connectivity to mobile hosts. However, currently it has some drawbacks in the areas of survivability, per...
RAID
1999
Springer
15 years 2 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
ITC
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...