1814 search results - page 306 / 363 » Extended First-Order Logic |
204
click to vote
IRI
2008
IEEE
16 years 16 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
208
click to vote
AB
2008
Springer
16 years 15 days ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
122
click to vote
DEXAW
2007
IEEE
16 years 14 days ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...
142
click to vote
ISCA
2007
IEEE
16 years 13 days ago
2007
IEEE
The ever increasing sizes of on-chip caches and the growing domination of wire delay necessitate significant changes to cache hierarchy design methodologies. Many recent proposal...
154
click to vote
ISCAS
2007
IEEE
16 years 13 days ago
2007
IEEE
— In this paper we present the Collaborative Routing Architecture (CRA), a routing architecture specially designed to achieve high efficiency in hardware and competitive delay p...