1876 search results - page 272 / 376 » Language Networks on LiveJournal |
141
Voted
IS
2010
15 years 3 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
158
click to vote
JFP
2010
15 years 2 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
143
click to vote
EMNLP
2010
15 years 2 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
152
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
151
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. VoIP has become a major application of multimedia communications over IP. Many initiatives around the world focus on the detection of attacks against VoIP services and in...