3844 search results - page 381 / 769 » Modular interpreted systems |
138
click to vote
ELPUB
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we present our online summarization system of web topics. The user defines the topic by a set of keywords. Then the system searches the Web for the relevant documen...
153
click to vote
IR
2006
15 years 5 months ago
2006
In this paper we describe and evaluate a Question Answering (QA) system that goes beyond answering factoid questions. Our approach to QA assumes no restrictions on the type of que...
132
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
128
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
161
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...