Sciweavers

7213 search results - page 92 / 1443
» Automated model grouping
Sort
View
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 1 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 9 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
15 years 1 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 11 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 12 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...