2878 search results - page 445 / 576 » Model Checking FTA |
119
Voted
ICMLC
2010
Springer
15 years 18 days ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
123
Voted
CMSB
2010
Springer
14 years 9 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
143
Voted
JUCS
2010
14 years 9 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
133
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
172
Voted
USS
2010
15 years 15 days ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...