2664 search results - page 56 / 533 » Theory by Process |
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
HICSS
2000
IEEE
14 years 14 days ago
2000
IEEE
As knowledge becomes the primary focus of work in many industries, virtual communities and groups are emerging as part of new organizational forms. Within these virtual forms, eff...
JASIS
2008
13 years 8 months ago
2008
Gatekeeping theories have been a popular heuristic for describing information control for years, but none have attained a full theoretical status in the context of networks. This ...