Sciweavers

2748 search results - page 326 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
JACM
2010
120views more  JACM 2010»
14 years 11 months ago
The structure of inverses in schema mappings
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Alan Nash
FLAIRS
2007
15 years 6 months ago
Probabilistic Task Content Modeling for Episodic Textual Narratives
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben
QSIC
2005
IEEE
15 years 10 months ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
ICCV
2003
IEEE
15 years 9 months ago
On the Epipolar Geometry of the Crossed-Slits Projection
The Crossed-Slits (X-Slits) camera is defined by two nonintersecting slits, which replace the pinhole in the common perspective camera. Each point in space is projected to the im...
Doron Feldman, Tomás Pajdla, Daphna Weinsha...
ISADS
1999
IEEE
15 years 8 months ago
CORBA based Architecture for Large Scale Workflow
Standard client-server workflow management systems have an intrinsic scalability limitation, the central server, which represents a bottleneck for large-scale applications. This s...
Roberto Silveira Silva Filho, Jacques Wainer, Edmu...