Sciweavers

29143 search results - page 236 / 5829
» A Sortation System Model
Sort
View
TOCL
2012
241views Formal Methods» more  TOCL 2012»
13 years 9 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
AICCSA
2006
IEEE
137views Hardware» more  AICCSA 2006»
16 years 17 days ago
Modeling Redundancy: Quantitative and Qualitative Models
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shere...
SMC
2010
IEEE
177views Control Systems» more  SMC 2010»
15 years 4 months ago
On a new model for automatic text categorization based on Vector Space Model
Abstract—In our previous paper, we proposed a new classification technique called the Frequency Ratio Accumulation Method (FRAM). This is a simple technique that adds up the rat...
Makoto Suzuki, Naohide Yamagishi, Takashi Ishida, ...
SEFM
2006
IEEE
16 years 15 days ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux
ITRUST
2005
Springer
15 years 12 months ago
Operational Models for Reputation Servers
This paper devises a classification system for reputation systems based on two axes, namely: who performs the evaluation of a subject’s reputation, and how the information is col...
David W. Chadwick