2251 search results - page 132 / 451 » Specification and Implementation Problems for C |
114
Voted
JPDC
2008
15 years 3 months ago
2008
We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is ...
140
Voted
FUIN
2008
15 years 3 months ago
2008
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
129
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
104
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
133
click to vote
DSML
2008
15 years 5 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...