Sciweavers

2139 search results - page 260 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
CEAS
2008
Springer
15 years 8 months ago
Improved Phishing Detection using Model-Based Features
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
André Bergholz, Jeong Ho Chang, Gerhard Paa...
OMER
2001
15 years 8 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
AES
2007
Springer
86views Cryptology» more  AES 2007»
15 years 6 months ago
Numerical modelling of a gravity settler in dynamic conditions
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
Elsa F. Gomes, M. M. L. Guimarães, Lí...
CVGIP
2006
171views more  CVGIP 2006»
15 years 6 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...
JAR
2008
70views more  JAR 2008»
15 years 6 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith