17449 search results - page 545 / 3490 » Availability |
175
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
197
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
188
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Even prior to content, the genre of a web document leads to a first coarse binary classification of the recall space in relevant and non-relevant documents. Thinking of a genre se...
203
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We address the problem of using an untrusted server with only a trusted timestamping device (TTD) to provide trusted storage for a large number of clients, where each client may o...
142
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
A digitization project in progress carried out by the Mathematical Institute of the Serbian Academy of Sciences, Belgrade (http://www.mi.sanu.ac.yu) and the Faculty of Mathematics...