2836 search results - page 438 / 568 » Model Checking for Software Architectures |
155
click to vote
MTA
2006
15 years 6 months ago
2006
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
202
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
173
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
166
click to vote
CBSE
2007
Springer
16 years 16 days 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...