6800 search results - page 1038 / 1360 » Testing with Functions as Specifications |
180
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
202
click to vote
PDC
2004
ACM
16 years 1 days ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
171
click to vote
CAISE
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
156
click to vote
EMSOFT
2004
Springer
16 years 2 hour ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
202
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...