852 search results - page 102 / 171 » Understanding How the Requirements Are Implemented in Source... |
128
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
202
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
156
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
197
click to vote
AAIP
2009
15 years 5 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
234
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...