2935 search results - page 251 / 587 » An Integrated Approach to High Integrity Software Verificati... |
180
click to vote
ICNP
2007
IEEE
16 years 29 days ago
2007
IEEE
Security and privacy are two major concerns in supporting roaming users across administrative domains. In current practices, a roaming user often uses encrypted tunnels, e.g., Virt...
189
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
258
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
175
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Due to the increasing operating frequencies and the manner in which the corresponding integrated circuits and systems must be designed, the extraction, modeling and simulation of ...
191
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Large-scale process variations can significantly limit the practical utility of microelectro-mechanical systems (MEMS) for RF (radio frequency) applications. In this paper we desc...