882 search results - page 22 / 177 » Allowing State Changes in Specifications |
143
click to vote
IFM
2000
Springer
15 years 9 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 ...
189
click to vote
BMCBI
2004
15 years 5 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...
154
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...
153
click to vote
CCS
2001
ACM
15 years 9 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 ...
185
click to vote
PDPTA
2003
15 years 7 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...