3828 search results - page 633 / 766 » Proof-Based System Engineering Using a Virtual System Model |
132
Voted
AAAI
2008
15 years 5 months ago
2008
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...
107
Voted
EMNETS
2007
15 years 6 months ago
2007
Currently, there is a lack of stand-alone geo-monitoring systems for harsh environments that are easy to configure, deploy and manage, while at the same time adhering to science g...
172
click to vote
EATIS
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
137
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
127
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...