Sciweavers

6042 search results - page 246 / 1209
» Repeated Observation Models
Sort
View
TKDE
2010
150views more  TKDE 2010»
15 years 4 months ago
Prospective Infectious Disease Outbreak Detection Using Markov Switching Models
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
Hsin-Min Lu, Daniel Zeng, Hsinchun Chen
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
COMPUTER
2002
89views more  COMPUTER 2002»
15 years 6 months ago
A Pattern for Softcoded Values
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
Michael R. Blaha, Cheryl Smith
IWSEC
2009
Springer
16 years 22 days ago
Tamper-Tolerant Software: Modeling and Implementation
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
Mariusz H. Jakubowski, Chit Wei Saw, Ramarathnam V...
HAPTICS
2008
IEEE
16 years 19 days ago
Model and Modeless Friction Compensation: Application to a Defective Haptic Interface
Abstract. This paper describes a preliminary work devoted to the design of a control architecture for a defective haptic interface, i.e. an underactuated haptic interface not able ...
Gianni Borghesan, Claudio Melchiorri