2251 search results - page 132 / 451 » Specification and Implementation Problems for C |
152
click to vote
JPDC
2008
15 years 6 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 ...
186
click to vote
FUIN
2008
15 years 5 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 ...
162
click to vote
CCS
2007
ACM
16 years 16 days 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...
155
click to vote
ESCIENCE
2006
IEEE
16 years 12 days 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 ...
164
click to vote
DSML
2008
15 years 7 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...