1925 search results - page 222 / 385 » Documenting software systems with views |
146
click to vote
EDOC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
174
click to vote
ECIS
2004
15 years 8 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
154
click to vote
MR
2007
15 years 6 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
182
click to vote
TAPIA
2009
ACM
16 years 1 months ago
2009
ACM
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
155
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...