2232 search results - page 219 / 447 » Formal Modeling and Analysis of Organizations |
166
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
172
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
158
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
186
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
135
click to vote
IADIS
2004
15 years 8 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...