4061 search results - page 324 / 813 » Framework Evolution Tool |
170
click to vote
IWPSE
2003
IEEE
16 years 22 hour ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
195
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
229
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Temporal datasets, in which data evolves continuously, exist in a wide variety of applications, and identifying anomalous or outlying objects from temporal datasets is an importan...
176
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
152
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...