2610 search results - page 343 / 522 » The Recognition Strategy Language |
157
click to vote
INTETAIN
2005
Springer
15 years 12 months ago
2005
Springer
COMPASS2008 is a general service platform developed to be utilized as the tourist and city explorers assistant within the information services for the Beijing Olympic Games 2008. T...
182
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
125
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes TAPI, an offline scheme intended for general Internet-based micropayments. TAPI, which extends and combines concepts from the KeyNote Microchecks and OTPCoins...
153
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
155
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...