808 search results - page 101 / 162 » What Is Answer Set Programming |
INTERNET
2008
13 years 9 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
AGILEDC
2003
IEEE
14 years 2 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
SFP
2003
13 years 10 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...