Sciweavers

7213 search results - page 92 / 1443
» Automated model grouping
Sort
View
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
14 years 12 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
14 years 7 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
SERP
2003
14 years 11 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...
CN
1998
83views more  CN 1998»
14 years 9 months ago
LSAM Proxy Cache: A Multicast Distributed Virtual Cache
1,2 The LSAM Proxy Cache (LPC) is a multicast distributed web cache that provides automated multicast push of web pages, based on self-configuring interest groups. The LPC is desig...
Joseph D. Touch, Amy S. Hughes
ENVSOFT
2007
109views more  ENVSOFT 2007»
14 years 10 months ago
The Automated Geospatial Watershed Assessment tool
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
Scott N. Miller, Darius J. Semmens, David C. Goodr...