Sciweavers

4679 search results - page 333 / 936
» The Timely Computing Base Model and Architecture
Sort
View
184
Voted
CSFW
2006
IEEE
16 years 23 days ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 7 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 9 days ago
A Fourier series-based RLC interconnect model for periodic signals
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Guoqing Chen, Eby G. Friedman
WSCG
2001
113views more  WSCG 2001»
15 years 8 months ago
An Application Model for Visualization of Natural Resources Management
Natural resources data is usually geo-referenced. It contains mostly 1-n dimension scalar or vector values, and can be associated with meteorology, geology, water, weather, etc. S...
Elizabeth Simão Carvalho, José Carlo...
IM
2007
15 years 8 months ago
An information model for the management of Optical Burst Switched networks
Abstract— The Optical Burst Switching (OBS) paradigm proposes a new set of transmission protocols and network architectures that permits the high-utilization of the raw bandwidth...
Jorge E. López de Vergara, Javier Aracil, J...