Sciweavers

2596 search results - page 229 / 520
» Gradual Typing for Objects
Sort
View
HICSS
2005
IEEE
176views Biometrics» more  HICSS 2005»
15 years 10 months ago
Architecture for Customer Relationship Management Approaches in Financial Services
The majority of financial services companies in Germany and Switzerland have, with varying objectives and success, conducted customer relationship management (CRM) implementation ...
Malte Geib, Annette Reichold, Lutz Kolbe, Walter B...
MSR
2005
ACM
15 years 10 months ago
A framework for describing and understanding mining tools in software development
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
Daniel M. Germán, Davor Cubranic, Margaret-...
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
15 years 9 months ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
SIGADA
2004
Springer
15 years 9 months ago
GNAT: on the road to Ada 2005
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
Javier Miranda, Edmond Schonberg
MASA
2001
Springer
15 years 9 months ago
Adaptive Agents in Argumentation-Based Negotiation
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
Cosmin Carabelea