747 search results - page 12 / 150 » Toward a software development methodology for anonymity appl... |
ICFEM
1998
Springer
14 years 25 days ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
EGovernment would be a lot easier if it could be handled like eBusiness. Unfortunately there are organizational and legal obstacles that make it virtually impossible. The security...
USENIX
2000
13 years 10 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
RE
1997
Springer
14 years 23 days ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...