1180 search results - page 200 / 236 » Total Functional Software Engineering - Overview Paper |
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Service availability is one of the most closely scrutinized metrics in offering network services. It is important to costeffectively provision a managed and differentia...
120
click to vote
JSAC
2008
14 years 9 months ago
2008
Service availability is one of the most closely scrutinized metrics in offering network services. It is important to cost-effectively provision a managed and differentiated networ...
120
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
DGO
2007
15 years 6 days ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
LCTRTS
2010
Springer
15 years 5 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...