357 search results - page 24 / 72 » Verifying properties of process definitions |
BMCBI
2011
13 years 2 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Tensors are nowadays an increasing research domain in different areas, especially in image processing, motivated for example by DT-MRI (Diffusion Tensor Magnetic Resonance Imaging...
EDOC
2000
IEEE
13 years 12 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
MABS
2004
Springer
14 years 26 days ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
POPL
2000
ACM
13 years 12 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...