12670 search results - page 394 / 2534 » Requirements Modeling |
197
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
An important issue for federated systems of diverse data sources is optimizing cross-source queries, without building knowledge of individual sources into the optimizer. This pape...
214
click to vote
MABS
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
196
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
182
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
185
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...