1121 search results - page 113 / 225 » Building Formal Requirements Models for Reliable Software |
158
Voted
DBSEC
2001
15 years 5 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
159
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
138
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
155
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
147
click to vote
ICWE
2009
Springer
15 years 8 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...