12333 search results - page 1954 / 2467 » System Level Modelling for Hardware Software Systems |
208
click to vote
SEKE
2005
Springer
16 years 29 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
218
click to vote
CBSE
2004
Springer
16 years 27 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
198
click to vote
APSEC
2003
IEEE
16 years 24 days ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
182
Voted
RE
2009
Springer
16 years 1 days ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
233
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...