2231 search results - page 393 / 447 » Alternation as a programming paradigm |
128
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
130
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
A remarkable research activity has been carried out in the past few years to support real-time applications by means of appropriate scheduling solutions. For scarcely known or hig...
168
click to vote
PLANX
2007
15 years 5 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
151
click to vote
DGO
2003
15 years 5 months ago
2003
The Internet has recently become the medium of interaction with large volumes of data. Enterprises in the public and private sectors made their databases available over the Intern...
125
click to vote
LISA
2004
15 years 5 months ago
2004
Spyware is a rapidly spreading problem for PC users causing significant impact on system stability and privacy concerns. It attaches to extensibility points in the system to ensur...