Sciweavers

1636 search results - page 220 / 328
» Type-Theoretic Functional Semantics
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 11 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
IPPS
2005
IEEE
15 years 10 months ago
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
Emmanuel Jeannot
140
Voted
QSIC
2005
IEEE
15 years 10 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
WECWIS
2005
IEEE
156views ECommerce» more  WECWIS 2005»
15 years 10 months ago
EXSMAL: EDI/XML Semi-Automatic Schema Matching ALgorithm
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
Uddam Chukmol, Rami Rifaieh, Aïcha-Nabila Ben...
WORDS
2005
IEEE
15 years 10 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan