3809 search results - page 553 / 762 » Associative language descriptions |
183
click to vote
WECWIS
1999
IEEE
15 years 11 months ago
1999
IEEE
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...
185
click to vote
SAS
1993
Springer
15 years 11 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
182
click to vote
AISC
2006
Springer
15 years 11 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
214
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
183
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...