762 search results - page 151 / 153 » Performance-oriented software architecture engineering: an e... |
81
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...
110
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
111
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
106
Voted
VEE
2009
ACM
15 years 7 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...