23406 search results - page 4486 / 4682 » Architecture, Design, Implementation |
175
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...
117
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
138
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
125
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
168
click to vote
PODS
1995
ACM
15 years 8 months ago
1995
ACM
Databases are often incomplete because of the presence of disjunctive information, due to con icts, partial knowledge and other reasons. Queries against such databases often ask q...