420 search results - page 54 / 84 » Towards Design Tools for Protocol Development |
108
click to vote
CBSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
HUC
2009
Springer
15 years 4 months ago
2009
Springer
This paper attempts to re-imagine ubiquitous computing for populations in low-income and information-challenged environments. We examine information infrastructures in midsized ur...
WCRE
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...