2850 search results - page 447 / 570 » On Timed Models and Full Abstraction |
DOOD
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
133
Voted
DNA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...
116
click to vote
ICCS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
78
Voted
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We close the gaps between known lower and upper bounds for the online partial-sums problem in the RAM and group models of computation. If elements are chosen from an abstract grou...
97
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Cancer treatment by chemotherapy involves multiple applications of toxic drugs over a period of time. Optimising the schedule of these treatments can improve the outcome...