239 search results - page 21 / 48 » Interactive machine translation using a web-based architectu... |
116
click to vote
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
110
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...
132
click to vote
FORTE
2009
14 years 9 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
106
click to vote
OSDI
2008
ACM
16 years 22 hour ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
100
click to vote
ISORC
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...