Sciweavers

3943 search results - page 380 / 789
» Architecture-Level Requirements Specification
Sort
View
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
16 years 1 months ago
Morphing Bus: A rapid deployment computing architecture for high performance, resource-constrained robots
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...
Colin D'Souza, Byung Hwa Kim, Richard M. Voyles
KBSE
2007
IEEE
16 years 1 months ago
Feature interaction analysis: a maintenance perspective
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 1 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
VTC
2007
IEEE
116views Communications» more  VTC 2007»
16 years 1 months ago
Applicability of a Multi-Mode MAC Protocol
— Future mobile radio networks will have the requirement of very high data rates. Typical wireless data communication will not only occur in short range scenarios like hotspots i...
Arif Otyakmaz, Ismet Aktas, Marc Schinnenburg, Ral...
AUSDM
2007
Springer
145views Data Mining» more  AUSDM 2007»
16 years 1 months ago
Temporal Pattern Matching for the Prediction of Stock Prices
Time series data poses a significant variation to the traditional segmentation techniques of data mining because the observation is derived from multiple instances of the same und...
Richi Nayak, Paul te Braak