3119 search results - page 241 / 624 » General Default Logic |
127
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
220
click to vote
FUIN
2007
15 years 5 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
257
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
137
click to vote
KBSE
2007
IEEE
15 years 12 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
230
Voted
SIGCOMM
2006
ACM
15 years 11 months ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...