2131 search results - page 380 / 427 » Immunity for Closed Sets |
UIST
2006
ACM
15 years 5 months ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
A genetic map is an ordering of genetic markers constructed from genetic linkage data for use in linkage studies and experimental design. While traditional methods have focused on...
108
Voted
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
120
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
117
click to vote
DEXA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...