15097 search results - page 2701 / 3020 » Image Processing in C |
198
click to vote
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
217
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
233
Voted
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
Over the past few years, researchers have developed many crosslayer wireless protocols to improve the performance of wireless networks. Experimental evaluations of these protocols...
174
click to vote
IJWMC
2010
15 years 4 months ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...
188
click to vote
CCR
2011
15 years 1 months ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...