2335 search results - page 312 / 467 » Type Checking Type Classes |
108
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
125
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
131
Voted
DSN
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
129
click to vote
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
97
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...