754 search results - page 112 / 151 » Requirements for Automotive System Engineering Tools |
128
Voted
ISSA
2004
15 years 3 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
112
click to vote
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
154
Voted
PVLDB
2008
15 years 11 days ago
2008
Keyword search in XML repositories is a powerful tool for interactive data exploration. Much work has recently been done on making XML search aware of relationship information emb...
133
click to vote
ICTAI
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
135
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...