1057 search results - page 104 / 212 » Testing from Formal Specifications, a Generic Approach |
ECIS
2000
13 years 10 months ago
2000
The advent of the internet is revolutionizing the financial services industry. In the future, electronic banking (EB) will become a strategic factor, evolving from mere transaction...
IESA
2007
13 years 10 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
Bi-clustering is a promising conceptual clustering approach. Within categorical data, it provides a collection of (possibly overlapping) bi-clusters, i.e., linked clusters for both...
CSREASAM
2006
13 years 10 months ago
2006
Trust and authority are essential components that must be factored in designing and implementing a distributed access control mechanism for open environments. This paper presents ...