756 search results - page 64 / 152 » Using Architecture Models to Support the Generation and Oper... |
IISWC
2008
IEEE
14 years 3 months ago
2008
IEEE
—High-speed content inspection of network traffic is an important new application area for programmable networking systems, and has recently led to several proposals for high-per...
SP
2003
IEEE
14 years 2 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
MOBICOM
2000
ACM
14 years 1 months ago
2000
ACM
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...