Sciweavers

3206 search results - page 225 / 642
» How minds can be computational systems
Sort
View
AICCSA
2005
IEEE
113views Hardware» more  AICCSA 2005»
15 years 8 months ago
Towards autonomic Web services
Autonomic Computing was introduced to reduce the complexity of managing computing systems; however, the heterogeneous nature existing in most computing systems introduces some dif...
Amir Zeid, Sherif A. Gurguis
COORDINATION
2006
Springer
15 years 10 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
NORDICHI
2004
ACM
16 years 1 days ago
Six modes of proactive resource management: a user-centric typology for proactive behaviors
Proactivity has recently arisen as one of the focus areas within HCI. Proactive systems adhere to two premises: 1) working on behalf of, or pro, the user, and 2) acting on their o...
Antti Salovaara, Antti Oulasvirta
FPLAY
2008
15 years 8 months ago
Using conflict theory to model complex societal interactions
Conflict theory can be used to explain the interactions between societies during times of turmoil and change (i.e. revolutions, strikes or everyday debates). Games have been produ...
Ben Medler, Joe Fitzgerald, Brian Magerko
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 18 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff