Sciweavers

1664 search results - page 35 / 333
» Testing in the Component Age
Sort
View
CHI
2005
ACM
14 years 9 months ago
Meeteetse: social well-being through place attachment
This paper introduces Meeteetse, a set of technologies designed to facilitate social well-being through place attachment. Meeteetse builds a connection between individual homes an...
Kynthia Brunette, Matthew Eisenstadt, Erik Pukinsk...
COMPSAC
2004
IEEE
14 years 12 days ago
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning L...
IEEEIAS
2007
IEEE
14 years 3 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
SMA
2010
ACM
164views Solid Modeling» more  SMA 2010»
13 years 8 months ago
Topologically guaranteed univariate solutions of underconstrained polynomial systems via no-loop and single-component tests
We present an algorithm which robustly computes the intersection curve(s) of an under-constrained piecewise polynomial system consisting of n equations with n + 1 unknowns. The so...
Michael Barton, Gershon Elber, Iddo Hanniel
ET
2002
115views more  ET 2002»
13 years 8 months ago
CAS-BUS: A Test Access Mechanism and a Toolbox Environment for Core-Based System Chip Testing
As System on a Chip (SoC) testing faces new challenges, some new test architectures must be developed. This paper describes a Test Access Mechanism (TAM) named CASBUS that solves ...
Mounir Benabdenbi, Walid Maroufi, Meryem Marzouki