Sciweavers

4798 search results - page 841 / 960
» Time to change
Sort
View
CORR
2008
Springer
109views Education» more  CORR 2008»
15 years 6 months ago
Simulation of Coating -Visco-Elastic liquid in the Mico-Nip of Metering Size Press
for a set of operating conditions and coating color formulations, undesirable phenomena like color spitting and coating ribs may be triggered in the Micro-nip during the coating pr...
Haifa El-Sadi, Nabil Esmail
DEBU
2010
88views more  DEBU 2010»
15 years 6 months ago
SECONDO: A Platform for Moving Objects Database Research and for Publishing and Integrating Research Implementations
Databases supporting time dependent and continuously changing geometries, called moving objects databases, have been studied for about 15 years. The field has been flourishing and...
Ralf Hartmut Güting, Thomas Behr, Christian D...
JPDC
2007
184views more  JPDC 2007»
15 years 6 months ago
Modeling of concurrent web sessions with bounded inconsistency in shared data
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
Alexander Totok, Vijay Karamcheti
FCCM
2006
IEEE
133views VLSI» more  FCCM 2006»
16 years 13 days ago
A Field Programmable RFID Tag and Associated Design Flow
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
Alex K. Jones, Raymond R. Hoare, Swapna R. Donthar...
MICAI
2000
Springer
15 years 10 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green