5863 search results - page 781 / 1173 » On Model-Checking of P Systems |
327
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
177
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be u...
215
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present our Mediamill video search engine. The basis for the engine is a semantic indexing process which derives a lexicon of 101 concepts. To support the user in ...
191
Voted
EDO
2006
Springer
15 years 10 months ago
2006
Springer
A content-based publish/subscribe system is a message-oriented communication facility based on the idea of interestdriven routing. A message, published by the sender without a set...
173
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...