1425 search results - page 259 / 285 » Semantic Based Schema Analysis |
FORMATS
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
AMAST
2006
Springer
14 years 13 days ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
APWEB
2006
Springer
14 years 12 days ago
2006
Springer
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...
ESWS
2006
Springer
14 years 10 days ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
CODES
2001
IEEE
14 years 10 days ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...