5639 search results - page 343 / 1128 » Timed Abstract Non-interference |
148
click to vote
IC
2000
15 years 5 months ago
2000
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
121
Voted
PDPTA
2000
15 years 5 months ago
2000
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
110
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
149
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
106
click to vote
JOT
2002
15 years 3 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...