4476 search results - page 734 / 896 » Modeling software architectures in the Unified Modeling Lang... |
180
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
197
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
207
click to vote
SOCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
178
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
193
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...