536 search results - page 62 / 108 » A computer verified, monadic, functional implementation of t... |
145
click to vote
IJIT
2004
15 years 7 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
184
click to vote
AWCC
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...
138
click to vote
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes our experience to date and current plans for a senior-level microelectronics laboratory course on hardware/software codesign. The course utilizes an open-sour...
129
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Application-level multicast (ALM) is being increasingly recognized as a solution to support multipoint applications without the need for a network layer multicast protocol. Though...
152
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
One of the primary flaws with current digital signature technology is that a digital signature does not "feel" or resemble a traditional seal or personal signature to th...