2835 search results - page 238 / 567 » Imperfect Requirements in Software Development |
157
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
164
click to vote
AGILEDC
2007
IEEE
16 years 25 days ago
2007
IEEE
This report examines how the VeriSign Managed Security Services team (MSS) has successfully extended agile software development practices to deal with a complex, multi-product dev...
168
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Modeling the Internet infrastructure is a challenging endeavor. Complex interactions between protocols, increasing traffic volumes and the irregular structure of the Internet lea...
170
click to vote
SEAA
2008
IEEE
16 years 25 days ago
2008
IEEE
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...
181
click to vote
IBERAMIA
2004
Springer
15 years 12 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...