12264 search results - page 2100 / 2453 » An Analysis of the XSL Algorithm |
191
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
204
click to vote
RTSS
2005
IEEE
16 years 12 days ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
155
click to vote
SMI
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose a new topological data structure for representing a set of polygonal curves embedded in a meshed surface. In this embedding, the vertices of the curve do not necessaril...
174
click to vote
SP
2005
IEEE
16 years 12 days ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
162
click to vote
ANCS
2005
ACM
16 years 11 days ago
2005
ACM
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....