561 search results - page 102 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
140
click to vote
ICSE
2007
IEEE-ACM
15 years 5 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
IJCINI
2007
14 years 11 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
SACMAT
2003
ACM
15 years 4 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
104
click to vote
CADE
2005
Springer
15 years 12 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
CHI
2003
ACM
16 years 15 hour ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...