4772 search results - page 915 / 955 » An approach to interface synthesis |
177
click to vote
ICDCS
2008
IEEE
16 years 19 days 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...
161
click to vote
IJCNN
2008
IEEE
16 years 18 days 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...
155
click to vote
SP
2008
IEEE
16 years 17 days 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...
190
click to vote
TPHOL
2008
IEEE
16 years 17 days 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...
195
click to vote
ANSS
2007
IEEE
16 years 16 days 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 ...