3799 search results - page 189 / 760 » An Engineering Approach to Formal Methods |
150
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: In the present investigation, we have used an exhaustive metabolite profiling approach to search for biomarkers in recombinant Aspergillus nidulans (mutants that produ...
149
click to vote
FASE
2010
Springer
15 years 2 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
117
click to vote
ENTER
2009
Springer
15 years 9 months ago
2009
Springer
Hyperlinks are the essence of the World Wide Web. Their importance is very high due to their ability to provide a visitor with a wealth of good quality information and for the rol...
152
click to vote
ICANN
2001
Springer
15 years 9 months ago
2001
Springer
In many practical engineering design problems, the form of objective function is not given explicitly in terms of design variables. Given the value of design variables, under this ...
244
click to vote
CISIS
2011
IEEE
14 years 4 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...