1541 search results - page 221 / 309 » Tools and Techniques for Model Checking Networked Programs |
115
click to vote
APN
2007
Springer
15 years 6 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
96
Voted
CN
2006
15 years 20 days ago
2006
Several dynamic QoS routing techniques have been recently proposed for new IP networks based on label forwarding. However, no extensive performance evaluation and comparison is av...
119
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
107
click to vote
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
While general-purpose processors have only recently employed chip multiprocessor (CMP) architectures, network processors (NPs) have used heterogeneous multi-core architectures sin...
152
click to vote
UIST
1993
ACM
15 years 4 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...