Sciweavers

11374 search results - page 126 / 2275
» A System Demonstration of ST-TCP
Sort
View
WER
2005
Springer
15 years 11 months ago
Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
Zlatko Zlatev, Maya Daneva, Roel Wieringa
APLAS
2004
ACM
15 years 11 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
168
Voted
ATAL
2004
Springer
15 years 11 months ago
Adaptive, Distributed Control of Constrained Multi-Agent Systems
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
Stefan Bieniawski, David Wolpert
CIVR
2004
Springer
157views Image Analysis» more  CIVR 2004»
15 years 11 months ago
ICBR - Multimedia Management System for Intelligent Content Based Retrieval
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
Janko Calic, Neill W. Campbell, Majid Mirmehdi, Ba...
171
Voted
RSP
2003
IEEE
15 years 11 months ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing