Sciweavers

6581 search results - page 1183 / 1317
» Formalizing Design Patterns
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
MASCOTS
2004
15 years 7 months ago
An Optimisation Model for a Two-Node Router Network
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...
Nalan Gülpinar, Peter G. Harrison, Berç...
SIGMOD
2010
ACM
207views Database» more  SIGMOD 2010»
15 years 6 months ago
Leveraging spatio-temporal redundancy for RFID data cleansing
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
Haiquan Chen, Wei-Shinn Ku, Haixun Wang, Min-Te Su...
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Some Aspects of Testing Process for Transport Streams in Digital Video Broadcasting
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
Radu Arsinte, Ciprian Ilioaei
ASE
2006
110views more  ASE 2006»
15 years 6 months ago
Runtime recovery and manipulation of software architecture of component-based systems
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
Gang Huang, Hong Mei, Fuqing Yang
« Prev « First page 1183 / 1317 Last » Next »