5084 search results - page 917 / 1017 » Proving Possibility Properties |
130
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
136
Voted
ADC
2009
Springer
15 years 10 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
128
Voted
WINE
2009
Springer
15 years 10 months ago
2009
Springer
We study the strategic behavior of risk-neutral non-myopic agents in Dynamic Parimutuel Markets (DPM). In a DPM, agents buy or sell shares of contracts, whose future payoff in a p...
140
Voted
CPM
2009
Springer
15 years 10 months ago
2009
Springer
The haplotype inference problem (HIP) asks to find a set of haplotypes which resolve a given set of genotypes. This problem is of enormous importance in many practical fields, su...
142
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A mobile robot, represented by a point moving along a polygonal line in the plane, has to explore an unknown polygon and return to the starting point. The robot has a sen...