7167 search results - page 858 / 1434 » Answer Set Programming |
153
click to vote
ER
2009
Springer
16 years 24 days ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
181
click to vote
LOPSTR
2009
Springer
16 years 23 days ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
156
click to vote
SSS
2009
Springer
16 years 23 days ago
2009
Springer
We consider setting up sleep scheduling in sensor networks. We formulate the problem as an instance of the fractional domatic partition problem and obtain a distributed approximati...
210
click to vote
JTRES
2009
ACM
16 years 22 days ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
135
click to vote
CSSE
2008
IEEE
16 years 21 days ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...