899 search results - page 133 / 180 » Cost Analysis of Games, Using Program Logic |
151
click to vote
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
116
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
112
click to vote
KSEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
120
click to vote
EDBTW
2010
Springer
15 years 1 days ago
2010
Springer
Spatial data warehouses (SDW) rely on extended multidimensional (MD) models in order to provide decision makers with appropriate structures to intuitively analyse spatial data. Se...