8828 search results - page 335 / 1766 » Formal methods in practice |
159
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
147
click to vote
XPU
2007
Springer
16 years 26 days ago
2007
Springer
From July 2005 to August 2006, a bioinformatics project experienced a substantial transformation by adopting Scrum and some XP practices. The paper reveals project risks, previous ...
160
click to vote
LREC
2008
15 years 8 months ago
2008
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
143
click to vote
COMPSEC
2000
15 years 6 months ago
2000
Peyravian and Zunic (2000) proposed a password transmission scheme and a password change scheme over an insecure network. Their proposed solutions do not require the use of any sym...
188
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...