134 search results - page 22 / 27 » An International Survey of Industrial Applications of Formal... |
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...
DKE
2006
13 years 7 months ago
2006
The last few years, there has been an extensive body of literature in data warehousing applications that primarily focuses on basket-type (transactional) data, common in retail in...
FAC
2006
13 years 7 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
WECWIS
2005
IEEE
14 years 19 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
AAMAS
1999
Springer
13 years 6 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...