5810 search results - page 953 / 1162 » An Approach to Programming Based on Concepts |
167
click to vote
JASIS
2006
15 years 6 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...
178
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
159
click to vote
EOR
2007
15 years 6 months ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...