Sciweavers

32607 search results - page 172 / 6522
» Supporting
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
15 years 9 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
ICICS
2005
Springer
15 years 9 months ago
Private Itemset Support Counting
Private itemset support counting (PISC) is a basic building block of various privacy-preserving data mining algorithms. Briefly, in PISC, Client wants to know the support of her i...
Sven Laur, Helger Lipmaa, Taneli Mielikäinen
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 9 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
CSCW
2004
ACM
15 years 9 months ago
The AWARE architecture: supporting context-mediated social awareness in mobile cooperation
Maintaining social awareness of the working context of fellow coworkers is crucial to successful cooperation. For mobile, non colocated workers, however, this social awareness is ...
Jakob E. Bardram, Thomas Riisgaard Hansen
NORDICHI
2004
ACM
15 years 9 months ago
The BRIDGE awareness workspace: tools supporting activity awareness for collaborative project work
The BRIDGE awareness workspace is a synchronous collaborative tool supporting activity awareness for longterm (weeks/months) group projects. This workspace features integrated tim...
Craig H. Ganoe, Gregorio Convertino, John M. Carro...