10092 search results - page 1679 / 2019 » Active conditional models |
165
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
141
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Attacking bottlenecks in modern processors is difficult because many microarchitectural events overlap with each other. This parallelism makes it difficult to both (a) assign a ...
176
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
180
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
181
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...