1454 search results - page 274 / 291 » Stateful traits and their formalization |
MEMOCODE
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
113
click to vote
SASN
2005
ACM
15 years 6 months ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
104
Voted
SIGMETRICS
2005
ACM
15 years 6 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
120
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...