3555 search results - page 434 / 711 » Security-Critical System Development with Extended Use Cases |
150
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
191
click to vote
ADBIS
2004
Springer
16 years 8 days ago
2004
Springer
What is presented in this paper is our work in the area of image organization and retrieval in Image Databases using global color features and spatial color distribution of images....
187
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
164
click to vote
WSC
2007
15 years 9 months ago
2007
On May 4, 1988 a fire occurred after hours on the 12th floor of the First Interstate Bank building, a 62 story steelframe office tower in Los Angeles California. The sprinkler sys...
181
click to vote
PTS
2008
15 years 8 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...