3116 search results - page 289 / 624 » Positively dependent types |
184
click to vote
PRDC
2006
IEEE
16 years 20 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
155
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
172
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
194
click to vote
SACMAT
2005
ACM
16 years 6 days ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
158
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...