Sciweavers

1031 search results - page 138 / 207
» A Process Framework for Semantics-Aware Tourism Information ...
Sort
View
FAC
2000
114views more  FAC 2000»
13 years 8 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
HICSS
2003
IEEE
119views Biometrics» more  HICSS 2003»
14 years 1 months ago
Modeling and Analyzing Communications Infrastructure A Case Study of an International Organization
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
Michael M. Mann, Ericka Hansen Bryant
ICIS
2000
13 years 9 months ago
The politics of IS evaluation: a social shaping perspective
A considerable amount of research has already been conducted in the IT/IS evaluation arena, yet rewards remain elusive. This has been variously explained and in this paper we aim ...
Melanie Wilson, Debra Howcroft
ASPLOS
2006
ACM
14 years 2 months ago
ExecRecorder: VM-based full-system replay for attack analysis and system recovery
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
Daniela A. S. de Oliveira, Jedidiah R. Crandall, G...
IROS
2009
IEEE
174views Robotics» more  IROS 2009»
14 years 2 months ago
Characterization and modeling of wireless channels for networked robotic and control systems - a comprehensive overview
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
Yasamin Mostofi, Alejandro Gonzalez-Ruiz, Alireza ...