1050 search results - page 94 / 210 » Words, antibodies and their interactions |
146
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
JAPLL
2006
15 years 1 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
SOCA
2008
IEEE
15 years 1 months ago
2008
IEEE
The service-oriented architecture (SOA) is becoming increasingly popular as a paradigm for developing new distributed systems and integrating heterogeneous legacy systems. A servic...
117
click to vote
ETS
2000
IEEE
15 years 1 months ago
2000
IEEE
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
135
click to vote
JUCS
2000
15 years 1 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...