11324 search results - page 276 / 2265 » Coordination Models and Languages |
FM
2008
Springer
15 years 2 months ago
2008
Springer
Modal
115
click to vote
PST
2008
15 years 2 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
89
Voted
EDOC
2003
IEEE
15 years 6 months ago
2003
IEEE
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
EMNLP
2008
15 years 2 months ago
2008
The alignment problem--establishing links between corresponding phrases in two related sentences--is as important in natural language inference (NLI) as it is in machine translati...
108
Voted
COLING
2008
15 years 2 months ago
2008
This paper addresses the fundamental problem of document classification, and we focus attention on classification problems where the classes are mutually exclusive. In the course ...