5326 search results - page 170 / 1066 » On what we can ensure |
169
click to vote
SOFTVIS
2005
ACM
16 years 6 hour ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
198
click to vote
ECAL
2007
Springer
16 years 18 days ago
2007
Springer
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...
165
click to vote
SAFECOMP
2001
Springer
15 years 11 months ago
2001
Springer
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
281
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
168
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
The widespread acceptance and uptake of Grid technology can only be achieved if it can be ensured that the security mechanisms needed to support Grid based collaborations are at l...