716 search results - page 137 / 144 » Security Requirements Engineering: A Framework for Represent... |
ISSRE
2000
IEEE
13 years 12 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
ER
2004
Springer
14 years 28 days ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
BMCBI
2010
13 years 7 months ago
2010
Background: The use of ontologies to control vocabulary and structure annotation has added value to genomescale data, and contributed to the capture and re-use of knowledge across...