15421 search results - page 2735 / 3085 » Dependability |
231
click to vote
SAFECOMP
2005
Springer
16 years 1 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
231
click to vote
SEMWEB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
210
click to vote
SSD
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we discuss a new type of query in Spatial Databases, called the Trip Planning Query (TPQ). Given a set of points of interest P in space, where each point belongs to ...
210
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
210
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...