5639 search results - page 317 / 1128 » Timed Abstract Non-interference |
142
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
193
click to vote
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
115
click to vote
SOFSEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider documents as words and trees on some alphabet and study how to compare them with some regular schemas on an alphabet . Given an input document I, we decide ...
170
click to vote
TMA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The network measurement community has proposed multiple machine learning (ML) methods for traffic classification during the last years. Although several research works ha...
117
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- It is expected from a Future Internet that a multitude of networks will coexist and complement each other. Such environment allows to run specialized networks possibly p...