4890 search results - page 687 / 978 » From system specifications to component behavioral models |
140
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: REX1 and REX2 are protein components of the RNA editing complex (the editosome) and function as exouridylylases. The exact roles of REX1 and REX2 in the editosome are ...
175
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
195
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
169
click to vote
ACMACE
2009
ACM
16 years 1 months ago
2009
ACM
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
192
click to vote
STTT
2008
15 years 6 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...