532 search results - page 32 / 107 » Process Algebras for Quantitative Analysis |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
EUSFLAT
2003
13 years 9 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
EDOC
2009
IEEE
13 years 11 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...