Sciweavers

4166 search results - page 529 / 834
» Automating the constraining process
Sort
View
KBSE
2009
IEEE
15 years 11 months ago
Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
Aldeida Aleti, Lars Grunske, Indika Meedeniya, Ire...
ICNS
2009
IEEE
15 years 11 months ago
Psychometric and Evidentiary Approaches to Simulation Assessment in Packet Tracer Software
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
Dennis C. Frezzo, John T. Behrens, Robert J. Misle...
ATAL
2009
Springer
15 years 11 months ago
A mixed multi-unit combinatorial auctions test suite
Supply Chain Formation (SCF) is the process of determining the participants in a supply chain, who will exchange what with whom, and the terms of the exchanges. Mixed multi-unit c...
Andrea Giovannucci, Jesús Cerquides, Ulle E...
CSL
2009
Springer
15 years 11 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
ECOWS
2009
Springer
15 years 11 months ago
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
Mohammed Alodib, Behzad Bordbar