Sciweavers

15792 search results - page 2 / 3159
» Computational Abstraction Steps
Sort
View
COMPUTER
2002
65views more  COMPUTER 2002»
13 years 4 months ago
E-Business Process Modeling: The Next Big Step
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
Selim Aissi, Pallavi Malu, Krishnamurthy Srinivasa...
ATC
2007
Springer
13 years 11 months ago
Stepping-Stone Detection Via Request-Response Traffic Analysis
Abstract. In this paper, we develop an algorithm that may be used as a stepping-stone detection tool. Our approach is based on analyzing correlations between the cumulative number ...
Shou-Hsuan Stephen Huang, Robert Lychev, Jianhua Y...
NETWORKING
2011
12 years 7 months ago
STEPS - An Approach for Human Mobility Modeling
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
Anh Dung Nguyen, Patrick Sénac, Victor Rami...
SIAMNUM
2010
113views more  SIAMNUM 2010»
12 years 11 months ago
Compactness Properties of the DG and CG Time Stepping Schemes for Parabolic Equations
Abstract. It is shown that for a broad class of equations that numerical solutions computed using the discontinuous Galerkin or the continuous Galerkin time stepping schemes of arb...
Noel Walkington
TPHOL
1991
IEEE
13 years 8 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider