2702 search results - page 314 / 541 » Practically Applicable Formal Methods |
136
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
132
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
137
Voted
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
146
Voted
DMS
2008
15 years 4 months ago
2008
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
125
Voted
CATA
2003
15 years 4 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...