8446 search results - page 428 / 1690 » A Process Compensation Language |
174
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
173
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
155
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
161
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
207
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...