3792 search results - page 407 / 759 » Techniques for Trusted Software Engineering |
220
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
171
click to vote
TCIAIG
2010
15 years 1 months ago
2010
In this paper, we use computational intelligence techniques to built quantitative models of player experience for a platform game. The models accurately predict certain key affecti...
426
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
262
click to vote
PROMISE
2010
15 years 1 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
184
click to vote
IOLTS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present an efficient design technique for implementing the Elliptic Curve Cryptographic (ECC) Scheme in FPGAs. Our technique is based on a novel and efficient i...