1914 search results - page 271 / 383 » Verification by Abstract Interpretation |
126
click to vote
FUIN
2008
15 years 4 months ago
2008
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
118
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
146
click to vote
JAIR
2006
15 years 4 months ago
2006
A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory s t...
128
click to vote
JUCS
2008
15 years 4 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
116
click to vote
EJC
2007
15 years 4 months ago
2007
Abstract. Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex ∆A,H as the subdivision of the link of A induced...