Sciweavers

7434 search results - page 271 / 1487
» Still
Sort
View
EUROPKI
2004
Springer
16 years 3 days ago
Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...
EVOW
2004
Springer
16 years 3 days ago
Constructing Dynamic Optimization Test Problems Using the Multi-objective Optimization Concept
Abstract. Dynamic optimization using evolutionary algorithms is receiving increasing interests. However, typical test functions for comparing the performance of various dynamic opt...
Yaochu Jin, Bernhard Sendhoff
FMCAD
2004
Springer
16 years 3 days ago
Approximate Symbolic Model Checking for Incomplete Designs
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
Tobias Nopper, Christoph Scholl
GCC
2004
Springer
16 years 3 days ago
State Management Issues and Grid Services
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
Yong Xie, Yong Meng Teo
GI
2004
Springer
16 years 2 days ago
Process-Based Integration of Heterogeneous Information Sources
: The number of information sources in the Web is growing day by day with a tremendous speed. At the same time, users tend to manage more and more tasks electronically, thereby usi...
Sudhir Agarwal, Peter Haase