Sciweavers

3206 search results - page 146 / 642
» How minds can be computational systems
Sort
View
EKAW
1999
Springer
15 years 10 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
ECSCW
1997
15 years 7 months ago
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
: Within the community of CSCW the notion and nature of workflow systems as prescriptions of human work has been debated and criticised. Based on the work of Suchman (1987) the not...
Jakob Bardram
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 6 months ago
A system for developing tablet pc applications for education
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
Sam Kamin, Michael Hines, Chad Peiper, Boris Capit...
SAC
2009
ACM
15 years 11 months ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
ACSAC
1999
IEEE
15 years 10 months ago
A Resource Access Decision Service for CORBA-Based Distributed Systems
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
Konstantin Beznosov, Yi Deng, Bob Blakley, C. Burt...