3891 search results - page 29 / 779 » A logic for strategic reasoning |
ENTCS
2007
13 years 7 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes the development of reliable and valid scales for assessing the strategic potential of IT-enabled resources. Following to the resource-based view of the firm (...
LPAR
2001
Springer
14 years 2 days ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...