1395 search results - page 83 / 279 » Incremental Construction Approach for Distributed System Spe... |
130
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...
120
click to vote
SAM
2004
15 years 2 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
199
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
106
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...