Sciweavers

284 search results - page 37 / 57
» Modularity of Completeness Revisited
Sort
View
IPCCC
2006
IEEE
14 years 3 months ago
Unstructured peer-to-peer session over IP using SIP
— Data and telephone service providers have started considering migration to an IP based environment. This paper presents an unstructured peer-to-peer approach to initiating and ...
Khashayar Khavari, Chuen Liang, Ali Tizghadam, Far...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
14 years 3 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
CPE
2003
Springer
753views Hardware» more  CPE 2003»
14 years 3 months ago
EvalVid - A Framework for Video Transmission and Quality Evaluation
With EvalVid1 we present a complete framework and tool-set for evaluation of the quality of video transmitted over a real or simulated communication network. Besides measuring QoS ...
Jirka Klaue, Berthold Rathke, Adam Wolisz
COMPSAC
2002
IEEE
14 years 2 months ago
Object Identification in Legacy Code as a Grouping Problem
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
Houari A. Sahraoui, Petko Valtchev, Idrissa Konkob...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 2 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...