Sciweavers

10066 search results - page 267 / 2014
» A Technique for Information System Integration
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
An Integrated Decoding Framework for Audio Watermark Extraction
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
Bilge Günsel, Yusuf Yaslan
DAC
2006
ACM
15 years 10 months ago
IMPRES: integrated monitoring for processor reliability and security
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
Roshan G. Ragel, Sri Parameswaran
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
EDUTAINMENT
2007
Springer
16 years 25 days ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
CRIWG
2004
15 years 8 months ago
SaGISC: A Geo-Collaborative System
The production of geological mapping by conventional processes is a complex work of data gathering and integration, along with expert and team analysis. This process is very time c...
Paula André, Pedro Antunes