5247 search results - page 300 / 1050 » The Generalized A* Architecture |
197
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
221
click to vote
SENSYS
2005
ACM
16 years 1 months ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...
286
click to vote
WWW
2011
ACM
15 years 2 months ago
2011
ACM
Over the past few years, the discussion between the two major architectural styles for designing and implementing Web services, the RPC-oriented approach and the resourceoriented ...
204
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Members of a protein family often have highly conserved sequences; most of these sequences carry identical biological functions and possess similar three-dimensional (...
163
Voted
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Integrated circuits with bounded lifetimes can have many business advantages. We give some simple examples of m ods to enforce tunable expiration dates for chips using nanom reliab...