7167 search results - page 1368 / 1434 » Answer Set Programming |
147
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
148
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
150
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
133
click to vote
MINENET
2006
ACM
15 years 10 months ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
137
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...