2527 search results - page 218 / 506 » Software development with imperfect information |
174
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We motivate the need for new environments for collaborative reasoning and describe the foundations of our approach, namely collaboration, semantics, and adaptability. We describe ...
170
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
165
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
186
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
155
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...