3147 search results - page 450 / 630 » Open-Source Model Checking |
110
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
124
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
149
Voted
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
110
Voted
DGO
2008
15 years 3 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
129
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...