6581 search results - page 160 / 1317 » Formalizing Design Patterns |
117
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
122
click to vote
ACE
2004
15 years 4 months ago
2004
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtua...
127
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
111
Voted
PAKDD
2004
ACM
15 years 8 months ago
2004
ACM
We are designing new data mining techniques on boolean contexts to identify a priori interesting concepts, i.e., closed sets of objects (or transactions) and associated closed sets...
129
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...