7430 search results - page 731 / 1486 » Programming Applications in CIFF |
204
click to vote
WEA
2005
Springer
16 years 29 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
218
click to vote
ECOOP
2004
Springer
16 years 27 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
191
click to vote
OOPSLA
2004
Springer
16 years 26 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
179
click to vote
AOSD
2010
ACM
16 years 24 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
176
click to vote
ICDM
2003
IEEE
16 years 23 days ago
2003
IEEE
In the literature of data mining, many different algorithms for association rule mining have been proposed. However, there is relatively little study on how association rules can ...