2858 search results - page 415 / 572 » Logics with Aggregate Operators |
148
click to vote
RV
2009
Springer
16 years 28 days ago
2009
Springer
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
172
click to vote
SOCO
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
146
click to vote
DSD
2008
IEEE
16 years 26 days ago
2008
IEEE
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...
132
click to vote
ICPR
2008
IEEE
16 years 25 days ago
2008
IEEE
Biometric cryptography is a technique using biometric features to encrypt data, which can improve the security of the encrypted data and overcome the shortcomings of the tradition...
167
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...