2858 search results - page 456 / 572 » Logics with Aggregate Operators |
149
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Temperature monitoring using thermal sensors is an essential tool for evaluating the thermal behavior and sustaining the reliable operation in high-performance and high-power syst...
206
click to vote
FSTTCS
2009
Springer
16 years 27 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
187
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
182
click to vote
ASPDAC
2006
ACM
16 years 9 days ago
2006
ACM
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
195
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...