5639 search results - page 481 / 1128 » Timed Abstract Non-interference |
130
Voted
ISF
2007
15 years 4 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
103
click to vote
ALIFE
2004
15 years 4 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
120
Voted
UAIS
2008
15 years 4 months ago
2008
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
150
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
139
click to vote
CJ
2000
15 years 4 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...