2061 search results - page 189 / 413 » The continuous knapsack set |
116
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
131
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
126
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
124
Voted
ICMCS
1995
IEEE
15 years 8 months ago
1995
IEEE
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
151
click to vote
WSC
2007
15 years 7 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....