Sciweavers

4476 search results - page 380 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
MIDDLEWARE
2005
Springer
16 years 11 days ago
Sensor bean: a component platform for sensor-based services
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
Cristina Marin, Mikael Desertot
DEXAW
2000
IEEE
92views Database» more  DEXAW 2000»
15 years 11 months ago
Consistent Queries over Cardinal Directions across Different Levels of Detail
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
Roop K. Goyal, Max J. Egenhofer
ISORC
2000
IEEE
15 years 10 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
EDM
2010
142views Data Mining» more  EDM 2010»
15 years 8 months ago
A Data Model to Ease Analysis and Mining of Educational Data
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
André Krüger, Agathe Merceron, Benjami...