6885 search results - page 169 / 1377 » The micro-structure of use of help |
174
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
181
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
181
click to vote
TKDE
2010
15 years 4 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...
310
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...
141
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...