2881 search results - page 263 / 577 » Model Checking for Programming Languages using Verisoft |
192
click to vote
ACMICEC
2005
ACM
16 years 4 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
160
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
159
click to vote
TOOLS
2008
IEEE
16 years 29 days ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
212
click to vote
JMLR
2012
13 years 9 months ago
2012
We introduce the graphlet decomposition of a weighted network, which encodes a notion of social information based on social structure. We develop a scalable algorithm, which combi...
192
click to vote
JMLR
2012
13 years 9 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...