Sciweavers

3516 search results - page 269 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
CHI
1993
ACM
15 years 8 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 9 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
98
Voted
WSC
2004
15 years 5 months ago
Joint Modeling and Analysis Using XMSF Web Services
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
Arnold H. Buss, John Ruck
IBMSJ
2000
108views more  IBMSJ 2000»
15 years 3 months ago
Context-aware design and interaction in computer systems
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
Ted Selker, Winslow Burleson
SEFM
2007
IEEE
15 years 10 months ago
Verifying Security Properties of Cryptoprotocols: A Novel Approach
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
Mohamed Saleh, Mourad Debbabi