6201 search results - page 183 / 1241 » Implementation of Axiomatic Language |
118
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
159
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
149
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
159
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
131
click to vote
IADIS
2003
15 years 6 months ago
2003
The problem of computer treatment of notations for writing sign languages has seen some approaches in recent years, all of them, based on hard to use bitmap standard graphical for...