357 search results - page 56 / 72 » Verifying properties of process definitions |
JSC
2010
13 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
I propose a notion of visual information as the complexity not of the raw images, but of the images after the effects of nuisance factors such as viewpoint and illumination are dis...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we consider the types of community networks that are most often codified within the Semantic Web. We propose the recognition of a new structure which fulfils the def...
RECOMB
2004
Springer
14 years 8 months ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...