4513 search results - page 729 / 903 » Logic programming with satisfiability |
165
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
173
click to vote
DEXA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
159
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
191
click to vote
EUROMICRO
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
152
click to vote
GLOBECOM
2006
IEEE
16 years 12 days ago
2006
IEEE
Telecommunication companies, such as Internet and cellular service providers, are seeing rapid and uncertain growth of traffic routed through their networks. It has become a chall...