5591 search results - page 487 / 1119 » Design patterns: between programming and software design |
197
click to vote
SIGADA
2004
Springer
16 years 18 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
158
Voted
ENTCS
2007
15 years 7 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
235
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...
212
click to vote
AOSD
2010
ACM
16 years 2 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
184
click to vote
TGC
2005
Springer
16 years 22 days ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...