2042 search results - page 230 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
154
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
127
click to vote
CN
2007
15 years 3 months ago
2007
Peer-to-peer networks have been commonly used for tasks such as file sharing or file distribution. We study a class of cooperative file distribution systems where a file is br...
130
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...
132
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
119
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...