4513 search results - page 729 / 903 » Logic programming with satisfiability |
118
Voted
CCS
2007
ACM
15 years 9 months 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...
136
Voted
DEXA
2007
Springer
15 years 9 months 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...
119
Voted
GECCO
2007
Springer
15 years 9 months 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...
147
Voted
EUROMICRO
2006
IEEE
15 years 9 months 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...
123
Voted
GLOBECOM
2006
IEEE
15 years 9 months 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...