Sciweavers

22698 search results - page 4407 / 4540
» Modeling in Software Engineering
Sort
View
91
Voted
ANOR
2007
151views more  ANOR 2007»
14 years 10 months ago
Distributed personnel scheduling - negotiation among scheduling agents
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
Eliezer Kaplansky, Amnon Meisels
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
14 years 10 months ago
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
Sebastian Will, Anke Busch, Rolf Backofen
CORR
2008
Springer
144views Education» more  CORR 2008»
14 years 10 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
CORR
2008
Springer
105views Education» more  CORR 2008»
14 years 10 months ago
2-D Analysis of Enhancement of Analytes Adsorption Due to Flow Stirring by Electrothermal Force in The Microcantilever Sensor
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
Ming-Chih Wu, Jeng-Shian Chang, Chih-Kai Yang
ALGORITHMICA
2006
132views more  ALGORITHMICA 2006»
14 years 10 months ago
Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...
Peter Eades, Qing-Wen Feng, Xuemin Lin, Hiroshi Na...
« Prev « First page 4407 / 4540 Last » Next »