5525 search results - page 612 / 1105 » Verification of Model Transformations |
228
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
182
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
181
click to vote
PPPJ
2006
ACM
16 years 1 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
237
click to vote
PEWASUN
2004
ACM
16 years 16 days ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
203
click to vote
ICCAD
2003
IEEE
16 years 11 days ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...