694 search results - page 19 / 139 » Overcoming Challenges of Maturity |
109
Voted
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
117
click to vote
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
152
click to vote
FECS
2008
15 years 3 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
114
click to vote
INTERACT
2007
15 years 3 months ago
2007
Our work with communities in developing countries suggests that HCI practice is a long way from maturity in these contexts. With this SIG, we are seeking to build on a CHI2007 work...
DEBU
2007
15 years 1 months ago
2007
Social network analysis (SNA) has become a mature scientific field over the last 50 years and is now an area with massive commercial appeal and renewed research interest. In thi...