5639 search results - page 876 / 1128 » Timed Abstract Non-interference |
130
click to vote
COMPGEOM
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
126
click to vote
SIGCOMM
1997
ACM
15 years 7 months ago
1997
ACM
Abstract—This paper examines the network interdomain routing information exchanged between backbone service providers at the major U.S. public Internet exchange points. Internet ...
139
click to vote
COMPSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
157
click to vote
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
131
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...