4674 search results - page 392 / 935 » cases 2008 |
197
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
183
Voted
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
179
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
This paper concerns versioning services over Semantic Web (SW) repositories. We propose a novel storage index (based on partial orders), called POI, that exploits the fact that RDF...
174
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Evaluation of ontology alignments is in practice done in two ways: (1) assessing individual correspondences and (2) comparing the alignment to a reference alignment. However, this ...
187
click to vote
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In recent years, the deteriorations of living habits like immobilization or unhealthy diet are becoming serious social problems in many developed countries. Even if we kn...