Sciweavers

3373 search results - page 312 / 675
» Naturalistic Decision Making
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
Symbolic Reachability Analysis of Integer Timed Petri Nets
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Min Wan, Gianfranco Ciardo
SAC
2010
ACM
16 years 1 months ago
MetaSelf: an architecture and a development method for dependable self-* systems
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
Giovanna Di Marzo Serugendo, John S. Fitzgerald, A...
EVOW
2010
Springer
16 years 1 months ago
Content-Based Image Retrieval of Skin Lesions by Evolutionary Feature Synthesis
This paper gives an example of evolved features that improve image retrieval performance. A content-based image retrieval system for skin lesion images is presented. The aim is to ...
Lucia Ballerini, Xiang Li, Robert B. Fisher, Ben A...
CHI
2009
ACM
16 years 1 months ago
See you on the subway: exploring mobile social software
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
Nicolas Belloni, Lars Erik Holmquist, Jakob Tholan...
CSE
2009
IEEE
16 years 1 months ago
Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
Daniel Trivellato, Fred Spiessens, Nicola Zannone,...