882 search results - page 22 / 177 » Allowing State Changes in Specifications |
155
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
204
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Information obtained by DNA microarray technology gives a rough snapshot of the transcriptome state, i.e., the expression level of all the genes expressed in a cell po...
169
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
161
Voted
CCS
2001
ACM
15 years 10 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
200
click to vote
PDPTA
2003
15 years 8 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...