2736 search results - page 43 / 548 » Understanding programmer language |
79
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
108
click to vote
PAM
2010
Springer
15 years 4 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
ANCS
2007
ACM
15 years 1 months ago
2007
ACM
Session Initiation Protocol (SIP) has begun to be widely deployed for multiple services such as VoIP, Instant Messaging and Presence. Each of these services uses different SIP mes...
ESEM
2008
ACM
14 years 11 months ago
2008
ACM
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and organizational issues a...