276 search results - page 40 / 56 » Evaluating formal properties of feature diagram languages |
ITCC
2005
IEEE
15 years 5 months ago
2005
IEEE
The paper mainly discusses the DRM-enabled learning object model. Firstly, it analyses the art-of-status of Intellectual Property Rights in e-learning. Secondly, according to appl...
115
click to vote
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
116
click to vote
ACMICEC
2007
ACM
15 years 3 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
104
click to vote
EDBT
2006
ACM
15 years 12 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
ICFP
2010
ACM
15 years 26 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...