655 search results - page 103 / 131 » Conversationally Relevant Descriptions |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
VR
2000
IEEE
14 years 2 months ago
2000
IEEE
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
IFM
1999
Springer
14 years 2 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
ICIAP
1997
ACM
14 years 2 months ago
1997
ACM
—A major research subject in image databases is to support efficient and effective access to images based on their visual content. In color image databases, this requires to sup...