5838 search results - page 377 / 1168 » A File System for System Programming in Ubiquitous Computing |
159
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
150
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
164
click to vote
INFORMS
2010
15 years 3 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
130
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
159
click to vote
ISPAN
2008
IEEE
15 years 11 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...