2513 search results - page 275 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
104
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
109
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
138
Voted
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
122
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
98
Voted
ECMDAFA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...