1368 search results - page 210 / 274 » A Hybrid Reputation Model Based on the Use of Organizations |
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Genetic algorithms (GAs) have long been used for large join query optimization (LJQO). Previous work takes all queries as based on one granularity to optimize GAs and compares the...
FAST
2009
14 years 7 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
CAD
2006
Springer
14 years 9 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...