5591 search results - page 679 / 1119 » Design patterns: between programming and software design |
173
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
176
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
167
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
140
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The web has already dramatically changed society, but the web itself is changing. Web2.0 sites mean that users have become the producers of content and the designers of each other...
162
click to vote
ACL
2004
15 years 8 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...