11436 search results - page 195 / 2288 » Modeling Real Reasoning |
110
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
116
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Previous work investigating the performance of genetic algorithms (GAs) has attempted to develop a set of fitness landscapes, called “Royal Roads” functions, which should be id...
120
Voted
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
140
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
114
click to vote
WSC
2008
15 years 5 months ago
2008
Construction business is project oriented and that is why every construction organization is dependent on projects. Typically they undertake multiple projects with limited multipl...