6650 search results - page 1143 / 1330 » models 2009 |
161
click to vote
CSR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
153
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
239
click to vote
EATIS
2009
ACM
15 years 9 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...
165
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
217
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Range queries for querying the current and future positions of the moving objects have received growing interests in the research community. Existing methods, however, assume that...