1541 search results - page 242 / 309 » Tools and Techniques for Model Checking Networked Programs |
EKAW
2000
Springer
15 years 4 months ago
2000
Springer
An electronic business model is an important baseline for the development of e-commerce system applications. Essentially, it provides the design rationale for e-commerce systems fr...
84
Voted
IMC
2004
ACM
15 years 6 months ago
2004
ACM
The area of available bandwidth (avail-bw) estimation has attracted significant interest recently, with several estimation techniques and tools developed during the last 2-3 year...
121
click to vote
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
SERP
2003
15 years 1 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
108
Voted
ICDCSW
2008
IEEE
15 years 7 months ago
2008
IEEE
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...