Sciweavers

5336 search results - page 119 / 1068
» Steerable part models
Sort
View
DATE
1998
IEEE
98views Hardware» more  DATE 1998»
14 years 8 days ago
AFTA: A Formal Delay Model for Functional Timing Analysis
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
V. Chandramouli, Jesse Whittemore, Karem A. Sakall...
COMPOS
1997
Springer
14 years 5 days ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
CEAS
2006
Springer
13 years 11 months ago
An Adaptive, Semi-Structured Language Model Approach to Spam Filtering on a New Corpus
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
Ben Medlock
WOA
2003
13 years 9 months ago
Situated Cellular Agents and Immune System Modelling
— The Immune System (IS) constitutes the defence mechanism of higher level organisms to micro organismic threats: it is a real distributed system providing mechanisms of adaptati...
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
ICECCS
2010
IEEE
182views Hardware» more  ICECCS 2010»
13 years 8 months ago
Engineering Quality Requirements Using Quality Models
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...
Klaus Lochmann