3113 search results - page 286 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
142
click to vote
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Background: DNA Microarray technology is an innovative methodology in experimental molecular biology, which has produced huge amounts of valuable data in the profile of gene expre...
156
click to vote
ASE
2005
15 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
143
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
116
click to vote
CASCON
1996
15 years 6 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
146
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...