3432 search results - page 465 / 687 » Model Development in the UML-based Specification Environment... |
262
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
182
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
159
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
NIPS
2004
15 years 8 months ago
2004
There has been substantial progress in the past decade in the development of object classifiers for images, for example of faces, humans and vehicles. Here we address the problem ...
202
click to vote
ISDO
2000
15 years 8 months ago
2000
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...