2513 search results - page 275 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
162
click to vote
QEST
2009
IEEE
16 years 1 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....
178
click to vote
CAISE
2005
Springer
16 years 2 days 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...
203
click to vote
SIES
2007
IEEE
16 years 24 days 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 ...
180
click to vote
IPPS
2003
IEEE
15 years 11 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 ...
167
click to vote
ECMDAFA
2005
Springer
16 years 2 days 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...