Sciweavers

3357 search results - page 293 / 672
» Controlling Complexity
Sort
View
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
16 years 7 days ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
PSD
2004
Springer
77views Database» more  PSD 2004»
15 years 12 months ago
Fast Generation of Accurate Synthetic Microdata
Generation of a synthetic microdata set that reproduces the statistical properties of an original microdata set is a promising approach to statistical disclosure control (SDC) of m...
Josep Maria Mateo-Sanz, Antoni Martínez-Bal...
QOFIS
2004
Springer
15 years 12 months ago
Multi-bid Versus Progressive Second Price Auctions in a Stochastic Environment
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
Patrick Maillé, Bruno Tuffin
ICCS
2003
Springer
15 years 12 months ago
An XML-Based Framework for Loosely Coupled Applications on Grid Environments
Abstract. This paper focuses on an XML-based framework for the description of grid environments and complex grid applications. A so-called Grid Job Handler is used to manage these ...
Andreas Hoheisel, Uwe Der
IDA
2003
Springer
15 years 12 months ago
Guided Incremental Construction of Belief Networks
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
Charles A. Sutton, Brendan Burns, Clayton T. Morri...