7890 search results - page 1274 / 1578 » The MathSAT 3 System |
185
click to vote
CLEF
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we will briefly describe the approaches taken by Berkeley for the main GeoCLEF 2007 tasks (Mono and Bilingual retrieval). This year we used only a single system in ...
174
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
181
click to vote
ESORICS
2007
Springer
16 years 27 days ago
2007
Springer
The problem of key management in access hierarchies studies ways to assign keys to users and classes such that each user, after receiving her secret key(s), is able to independentl...
149
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
208
click to vote
ICESS
2007
Springer
16 years 26 days ago
2007
Springer
Recently, NAND flash memory has been used for a storage device in various mobile computing devices such as MP3 players, mobile phones and laptops because of its shock-resistant, lo...