1057 search results - page 104 / 212 » Testing from Formal Specifications, a Generic Approach |
ECIS
2000
15 years 4 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...
143
click to vote
IESA
2007
15 years 4 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...
127
Voted
PPDP
2009
Springer
15 years 9 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
15 years 8 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...
126
click to vote
CSREASAM
2006
15 years 4 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 ...