2527 search results - page 339 / 506 » Software development with imperfect information |
155
click to vote
ACSAC
2007
IEEE
16 years 25 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
162
click to vote
ER
2007
Springer
16 years 19 days ago
2007
Springer
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
174
click to vote
ISDA
2006
IEEE
16 years 15 days ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
156
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
171
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...