Sciweavers

32607 search results - page 192 / 6522
» Supporting the supporters
Sort
View
CBSE
2005
Springer
16 years 21 days ago
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
Bert Lagaisse, Wouter Joosen
CONTEXT
2005
Springer
16 years 21 days ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
16 years 21 days 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
16 years 20 days 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»
16 years 20 days 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