19003 search results - page 131 / 3801 » We Need Assurance! |
JPDC
2007
13 years 9 months ago
2007
This paper is proposing a new platform for implementing services in future service oriented architectures. The basic premise of our proposal is that by combining large volume of u...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 7 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
VMCAI
2012
Springer
12 years 4 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
Worldwide social networks, like Facebook, face fierce competition from local platforms when expanding globally. To remain attractive social network providers need to encourage use...
TRUST
2009
Springer
14 years 3 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...