13140 search results - page 240 / 2628 » Coupling Component Systems towards Systems of Systems |
187
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
190
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
—Privacy leaks are an unfortunate and an integral part of the current Internet domain name resolution. Each DNS query generated by a user reveals – to one or more DNS servers â...
173
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
189
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we describe our work in progress in the scope of information retrieval exploiting the spatial data extracted from web documents. We discuss problems of a search for ...