Sciweavers

5239 search results - page 593 / 1048
» Model-Integrated Embedded Systems
Sort
View
EGICE
2006
15 years 10 months ago
Wireless Sensing, Actuation and Control - With Applications to Civil Structures
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...
Yang Wang 0013, Jerome P. Lynch, Kincho H. Law
AUSAI
2003
Springer
15 years 10 months ago
Decidability of Propositionally Quantified Logics of Knowledge
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
Tim French
CHI
1995
ACM
15 years 10 months ago
A Generic Platform for Addressing the Multimodal Challenge
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
Laurence Nigay, Joëlle Coutaz
ASPDAC
2005
ACM
89views Hardware» more  ASPDAC 2005»
15 years 9 months ago
System-level design space exploration for security processor prototyping in analytical approaches
— The customization of architectures in designing the security processor-based systems typically involves timeconsuming simulation and sophisticated analysis in the exploration o...
Yung-Chia Lin, Chung-Wen Huang, Jenq Kuen Lee
FIW
2007
120views Communications» more  FIW 2007»
15 years 8 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen