Sciweavers

5754 search results - page 246 / 1151
» Multi-class Model M
Sort
View
MODELS
2009
Springer
16 years 1 months ago
HiLA: High-Level Aspects for UML State Machines
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
Gefei Zhang, Matthias M. Hölzl
ATAL
2007
Springer
16 years 24 days ago
Integrating motivations with planning
This paper presents two models of goal generation which enable a motivated autonomous agent to generate goals in response to changes in its underlying drives or motivations, while...
Alexandra M. Coddington
DFT
2003
IEEE
114views VLSI» more  DFT 2003»
15 years 12 months ago
CodSim -- A Combined Delay Fault Simulator
Delay faults are an increasingly important test challenge. Traditional delay fault models are incomplete in that they only model a subset of delay defect behaviors. To solve this ...
Wangqi Qiu, Xiang Lu, Zhuo Li, D. M. H. Walker, We...
142
Voted
ICALP
2010
Springer
15 years 11 months ago
Streaming Algorithms for Independent Sets
We find “combinatorially optimal” (guaranteed by the degree-sequence alone) independent sets for graphs and hypergraps in linear space in the semi-streaming model. We also pr...
Bjarni V. Halldórsson, Magnús M. Hal...
WSC
2007
15 years 9 months ago
Targeted strategies for tuberculosis in areas of high HIV prevalence: a simulation study
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...
Georgina R. Mellor, Christine S. M. Currie, Elizab...