16859 search results - page 3225 / 3372 » Generative software development |
132
click to vote
DOCENG
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
143
click to vote
CTRSA
2009
Springer
15 years 5 months ago
2009
Springer
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
143
click to vote
AFRIGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
141
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
129
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...