2513 search results - page 304 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
76
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
95
Voted
CN
2006
15 years 25 days ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
113
click to vote
JCP
2008
15 years 23 days ago
2008
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
100
Voted
NAR
2008
15 years 22 days ago
2008
The Gene Ontology (GO) project (http://www.gene ontology.org/) provides a set of structured, controlled vocabularies for community use in annotating genes, gene products and seque...
114
Voted
TR
2008
15 years 20 days ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...