8949 search results - page 1481 / 1790 » is 1998 |
214
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
156
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
200
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
201
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
191
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Semistructured data is not strictly typed like relational or object-oriented data and may be irregular or incomplete. It often arises in practice, e.g., when heterogeneous data so...