1356 search results - page 229 / 272 » The ideal of verified software |
PDPTA
2010
14 years 9 months ago
2010
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
158
click to vote
DLS
2009
14 years 9 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
118
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
143
click to vote
PROMISE
2010
14 years 6 months ago
2010
Background: The main goal of the PROMISE repository is to enable reproducible, and thus verifiable or refutable research. Over time, plenty of data sets became available, especial...
107
click to vote
STTT
2010
14 years 6 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...