2432 search results - page 205 / 487 » High-level approach to modeling of observed system behavior |
151
click to vote
ISVLSI
2007
IEEE
16 years 24 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
171
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
User Interface between user and information systems has a great role in system adoption. Based on technology acceptance model, acceptance of a system is explained as a function of...
154
click to vote
IWSEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
188
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Technology Acceptance Model (TAM) represents an important theoretical contribution toward understanding IS usage and IS acceptance behaviors [6, 19]. However, as noted by seve...
176
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...