2502 search results - page 402 / 501 » Using probabilistic model checking in systems biology |
164
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
144
click to vote
JSA
2006
15 years 4 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...
126
Voted
JSS
2010
15 years 2 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
132
click to vote
ICMLC
2010
Springer
15 years 2 months 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...
149
click to vote
COMPUTER
2007
15 years 4 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...