533 search results - page 63 / 107 » Protocol synthesis from timed and structured specifications |
CN
2000
13 years 10 months ago
2000
Simulation offers significant advantages as a basis for academic projects in computer networking. many unimportant details can be abstracted away, and also because simulations can...
ICDT
2010
ACM
14 years 3 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
ACMSE
2008
ACM
14 years 1 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
APWEB
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
VLSID
1999
IEEE
14 years 3 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...