1481 search results - page 99 / 297 » Enriching the Software Development Process by Formal Methods |
120
click to vote
WSC
2007
15 years 5 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
121
Voted
ENTCS
2010
15 years 26 days ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
107
click to vote
AGILEDC
2003
IEEE
15 years 8 months ago
2003
IEEE
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
127
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
115
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...