4772 search results - page 915 / 955 » An approach to interface synthesis |
199
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...
169
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Hybrid intelligent systems (HIS) are very successful in tackling problems comprising of more than one distinct computational subtask. For instance, decision-making problems are...
173
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
216
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
221
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...