5843 search results - page 802 / 1169 » Software Security in Practice |
167
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
In recent years, the development of software in open source communities has attracted immense attention from research and practice. The idea of commercial quality, free software, ...
143
click to vote
UIST
2005
ACM
16 years 10 days ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
208
click to vote
FASE
2005
Springer
16 years 9 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
180
click to vote
SEKE
2005
Springer
16 years 8 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...
169
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...