745 search results - page 21 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
GD
1998
Springer
13 years 11 months ago
1998
Springer
We describe a new approach for cluster-based drawing of very large graphs, which obtains clusters by using binary space partition (BSP) trees. We also introduce a novel BSP-type de...
IS
2006
13 years 7 months ago
2006
Service discovery is a critical aspect in the Service Oriented Computing approach. A model, a methodology and a tool environment based on ontologies are proposed in this paper. Th...
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
KES
2009
Springer
14 years 3 days ago
2009
Springer
: With the increase in the amount and complexity of information, data warehouse performance has become a constant issue, especially for decision support systems. As decisional expe...