Sciweavers

676 search results - page 60 / 136
» A theory of aspects
Sort
View
97
Voted
ISSA
2008
15 years 2 months ago
Collective Improvisation: Complementing Information Security Frameworks with Self-Policing
The approach to information security governance has predominantly followed a functionalist paradigm with emphasis placed on formalized rule structures and policy frameworks. The a...
Kennedy Njenga, Irwin Brown
ECIS
2003
15 years 2 months ago
Finding a home for web-based information systems - perusing the landscape
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
Chris Barry, Jeremy Brown
115
Voted
AAAI
1994
15 years 1 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
112
Voted
BIOSYSTEMS
2008
146views more  BIOSYSTEMS 2008»
15 years 21 days ago
The autonomy of biological individuals and artificial models
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
Alvaro Moreno, Arantza Etxeberria, Jon Umerez
97
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 20 days ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur