Sciweavers

2373 search results - page 214 / 475
» Modelling Facial Behaviours
Sort
View
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
16 years 21 days ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
NOMS
2008
IEEE
16 years 19 days ago
Policy-based dynamic provisioning in data centers based on SLAs, business rules and business objectives
—A policy can be defined as any type of formal behavioural guide that is input to the system. Examples of policies that can be found in data center management systems include SLA...
Angela McCloskey, Bradley Simmons, Hanan Lutfiyya
SECURWARE
2008
IEEE
16 years 19 days ago
Email Worm Mitigation by Controlling the Name Server Response Rate
Email worms and the spam associated with them are one of the main operational security issues today because they waste time, money and resources. The high incidence of email worms...
Nikolaos Chatzis, Enric Pujol
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
16 years 11 days ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
ACRI
2006
Springer
16 years 7 days ago
Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
Nazim Fatès