Sciweavers

969 search results - page 112 / 194
» Integrating part and assembly modelling
Sort
View
NJC
2006
88views more  NJC 2006»
13 years 10 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
GI
2005
Springer
14 years 3 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
EAGC
2004
Springer
14 years 3 months ago
Overview of an Architecture Enabling Grid Based Application Service Provision
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
Stefan Wesner, Bassem Serhan, Theodosis Dimitrakos...
STOC
2007
ACM
136views Algorithms» more  STOC 2007»
14 years 10 months ago
Exponential separations for one-way quantum communication complexity, with applications to cryptography
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...
Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, ...
ASIAMS
2008
IEEE
14 years 4 months ago
Optimization of a Kraft Pulping System: Using Particle Swarm Optimization and Differential Evolution
Expectation of profit is the economic driving force motivating business activity in a free-enterprise economy. An increase in this profit for a given organization can be accomplis...
Millie Pant, Radha Thangaraj, Ajith Abraham