7661 search results - page 1360 / 1533 » Languages and the Computing Profession |
199
click to vote
SACMAT
2004
ACM
16 years 16 days ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
195
Voted
WOSS
2004
ACM
16 years 16 days ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
172
click to vote
AMAI
2004
Springer
16 years 15 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
203
click to vote
CAISE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
160
click to vote
CAISE
2004
Springer
16 years 15 days ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....