3408 search results - page 460 / 682 » Logic, language, information and computation |
WWW
2006
ACM
14 years 11 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
IAT
2005
IEEE
14 years 4 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...