1760 search results - page 226 / 352 » A System to Mark Programs Automatically |
146
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
130
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
162
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
129
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we continue our investigations of "web spam": the injection of artificially-created pages into the web in order to influence the results from search engin...
116
Voted
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...