Sciweavers

6274 search results - page 574 / 1255
» Proofs, Programs, Processes
Sort
View
138
Voted
ICSEA
2006
IEEE
16 years 1 months ago
DuoTracker: Tool Support for Software Defect Data Collection and Analysis
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
Olusegun Akinwale, Sergiu M. Dascalu, Marcel Karam
ISCAS
2006
IEEE
121views Hardware» more  ISCAS 2006»
16 years 1 months ago
Microelectromechanical systems in 3D SOI-CMOS: sensing electronics embedded in mechanical structures
— We discuss the design of CMOS MEMS in a 3D SOI-CMOS technology. We present layout architectures, preliminary mechanics modeling using finite element analysis and release proce...
Francisco Tejada, Andreas G. Andreou
ICIP
2002
IEEE
16 years 9 months ago
On steganalysis of random LSB embedding in continuous-tone images
Abstract? In this paper we present an LSB steganalysis technique that can detect the existence of hidden messages that are randomly embedded in the least significant bits of natura...
Sorina Dumitrescu, Xiaolin Wu, Nasir D. Memon
WWW
2004
ACM
16 years 8 months ago
CTR-S: a logic for specifying contracts in semantic web services
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
IEEEARES
2009
IEEE
16 years 2 months ago
Perfect Failure Detection in the Partitioned Synchronous Distributed System Model
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...
Raimundo José de Araújo Macêdo...