1429 search results - page 18 / 286 » An Overview of the Annex System |
HYBRID
1999
Springer
14 years 2 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
MIR
2006
ACM
14 years 3 months ago
2006
ACM
Multimedia Information Retrieval (IR) techniques and associated systems are now numerous and justify the development of strategies and actions to objectively evaluate their capabi...
ISSADS
2005
Springer
14 years 3 months ago
2005
Springer
The aim of this paper is to show some solutions for key management in ad hoc networks. The major problem in providing security services in such infrastructure less networks is how...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Online personal advertisements have recently become an easy, socially acceptable way to meet partners for dates or relationships. Because popular personals systems not only reflec...
ENTCS
2008
13 years 10 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...