1121 search results - page 62 / 225 » Building Formal Requirements Models for Reliable Software |
111
click to vote
CSEE
2009
Springer
15 years 6 months ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
HPDC
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
101
click to vote
DOLAP
2006
ACM
15 years 3 months ago
2006
ACM
As more and more information is available on the web, it is a problem that many web resources are not accessible, i.e., are not usable for users with special needs. For example, f...
JSS
2008
14 years 11 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...