Sciweavers

2403 search results - page 293 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
WSC
2004
15 years 7 months ago
Factors Affecting the Expectation of Casualties in the Virtual Range Toxicity Model
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
José A. Sepúlveda, Luis C. Rabelo, J...
VMCAI
2009
Springer
16 years 1 months ago
An Abort-Aware Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
Kousha Etessami, Patrice Godefroid
BMCBI
2005
97views more  BMCBI 2005»
15 years 6 months ago
Modelling the correlation between the activities of adjacent genes in drosophila
Background: Correlation between the expression levels of genes which are located close to each other on the genome has been found in various organisms, including yeast, drosophila...
Helene H. Thygesen, Aeilko H. Zwinderman
TOSEM
1998
80views more  TOSEM 1998»
15 years 6 months ago
Discovering Models of Software Processes from Event-Based Data
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
Jonathan E. Cook, Alexander L. Wolf
ESOP
2001
Springer
15 years 11 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen