7123 search results - page 1246 / 1425 » The Ordered Set of Rough Sets |
194
click to vote
COMPSEC
2010
15 years 6 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
196
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
182
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A common objective in mechanism design is to choose the outcome (for example, allocation of resources) that maximizes the sum of the agents' valuations, without introducing in...
181
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
175
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: High throughput technologies often require the retrieval of large data sets of sequences. Retrieval of EMBL or GenBank entries using keywords is easy using tools such ...