3920 search results - page 388 / 784 » Challenges in Software Evolution |
182
click to vote
WMC
2001
15 years 8 months ago
2001
With the increasing number of mobile commerce facilities, there are challenges in providing customers useful recommendations about interesting products and services. In this paper...
180
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
149
click to vote
WIAS
2008
15 years 6 months ago
2008
When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
142
click to vote
SCAM
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
197
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...