9067 search results - page 1643 / 1814 » Adaptive Model Checking |
198
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
169
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
165
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
191
click to vote
MOZ
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
179
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...