5639 search results - page 247 / 1128 » Timed Abstract Non-interference |
146
click to vote
SODA
2012
ACM
13 years 5 months ago
2012
ACM
ABSTRACT∗ Arman Yousefi† Neal E. Young‡ Minimum-weight triangulation (MWT) is NP-hard. It has a polynomial-time constant-factor approximation algorithm, and a variety of e...
147
click to vote
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
142
click to vote
IVA
2005
Springer
15 years 8 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
131
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
125
click to vote
GREC
2009
Springer
15 years 6 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...