1210 search results - page 115 / 242 » Specifying Precise Use Cases with Use Case Charts |
128
click to vote
CASCON
2004
15 years 5 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
126
click to vote
DIWEB
2001
15 years 5 months ago
2001
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...
155
click to vote
PUK
2000
15 years 5 months ago
2000
Progressive processing plans allow systems to tradeoff computational resources against the quality of service by specifying alternative ways in which to accomplish each step. When ...
112
click to vote
APVIS
2009
15 years 5 months ago
2009
The spring-electrical model based force directed algorithm is widely used for drawing undirected graphs, and sophisticated implementations can be very efficient for visualizing la...
141
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...