3909 search results - page 475 / 782 » Extreme Model Checking |
168
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
175
click to vote
SOSE
2006
IEEE
16 years 20 days ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
174
click to vote
SEKE
2005
Springer
16 years 3 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...
178
click to vote
ICFEM
2004
Springer
16 years 18 hour ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
161
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...