252 search results - page 23 / 51 » Ontological Representations of Software Patterns |
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
TCIAIG
2010
13 years 2 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...