Sciweavers

4350 search results - page 609 / 870
» Case studies for contract-based systems
Sort
View
VIROLOGY
2008
121views more  VIROLOGY 2008»
15 years 6 months ago
Constructing malware normalizers using term rewriting
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
Andrew Walenstein, Rachit Mathur, Mohamed R. Chouc...
ANOR
2004
143views more  ANOR 2004»
15 years 6 months ago
Model Independent Parametric Decision Making
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...
Ipsita Banerjee, Marianthi G. Ierapetritou
TIT
1998
78views more  TIT 1998»
15 years 6 months ago
Stationary Markov Random Fields on a Finite Rectangular Lattice
—This paper provides a complete characterization of stationary Markov random fields on a finite rectangular (nontoroidal) lattice in the basic case of a second-order neighborho...
Fréderic Champagnat, Jérôme Id...
139
Voted
SP
2002
IEEE
15 years 6 months ago
VLAM-G: A Grid-based virtual laboratory
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...
Hamideh Afsarmanesh, Robert G. Belleman, Adam Bell...
TROB
2002
105views more  TROB 2002»
15 years 6 months ago
Theoretical improvements in the stability analysis of a new class of model-free visual servoing methods
This paper concerns the stability analysis of a new class of model-free visual servoing methods. These methods are "model-free" since they are based on the estimation of ...
Ezio Malis, François Chaumette, Sylvie Boud...