4799 search results - page 534 / 960 » Model Based Requirements Engineering for Embedded Software |
180
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
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...
178
click to vote
CODES
2006
IEEE
16 years 27 days ago
2006
IEEE
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
143
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...
150
Voted
ICSM
2006
IEEE
16 years 26 days ago
2006
IEEE
E-commerce applications are designed to streamline the business processes for an organization. Graphical user interfaces allow business users to perform daily business activities ...
192
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...