859 search results - page 72 / 172 » Implementing CMMI using a Combination of Agile Methods |
130
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
127
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
142
click to vote
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
In recent years several methods for modeling botanical trees have been proposed. The geometry and topology of tree skeletons can be well described by L-systems; however, there are...
158
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
141
click to vote
ENTCS
2007
15 years 4 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...