3514 search results - page 270 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
122
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
126
click to vote
AE
2005
Springer
15 years 10 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
135
click to vote
COODBSE
1994
15 years 5 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
146
click to vote
BIS
2006
15 years 5 months ago
2006
Techniques for reliably estimating development efforts are a fundamental requirement for a wide-scale dissemination of ontologies in business contexts. In this paper we account fo...
101
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...