Sciweavers

11573 search results - page 2065 / 2315
» Designing Relational Databases
Sort
View
JOT
2006
113views more  JOT 2006»
15 years 4 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
ENTCS
2007
104views more  ENTCS 2007»
15 years 4 months ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
ENTCS
2007
121views more  ENTCS 2007»
15 years 4 months ago
Incremental Parametric Development of Greedy Algorithms
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
Dominique Cansell, Dominique Méry
EOR
2007
96views more  EOR 2007»
15 years 4 months ago
A balancing method and genetic algorithm for disassembly line balancing
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...
Seamus M. McGovern, Surendra M. Gupta
JUCS
2006
109views more  JUCS 2006»
15 years 4 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor
« Prev « First page 2065 / 2315 Last » Next »