Sciweavers

3706 search results - page 565 / 742
» KtSeqC: System Description
Sort
View
SERP
2008
15 years 8 months ago
Practically Relevant Quality Criteria for Requirements Documents
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
Tobias Simon, Jonathan Streit, Markus Pizka
ECEH
2006
120views Healthcare» more  ECEH 2006»
15 years 8 months ago
Efficient Networking for Pervasive eHealth Applications
: This paper presents the networking architecture developed in the CASCOM research project. This architecture provides an efficient and reliable communication support and service d...
Heikki Helin, Tim Van Pelt, Michael Schumacher, Ah...
GEOINFO
2003
15 years 8 months ago
The Web as a Data Source for Spatial Databases
With the phenomenal growth of the WWW, rich data sources on many different subjects have become available online. Some of these sources store daily facts that often involve textual...
Karla A. V. Borges, Alberto H. F. Laender, Claudia...
SDL
2001
110views Hardware» more  SDL 2001»
15 years 8 months ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
IJCAI
1989
15 years 7 months ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall