2028 search results - page 171 / 406 » Deriving Relation Keys from XML Keys |
123
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
146
Voted
CSFW
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
123
click to vote
ECIS
2001
15 years 6 months ago
2001
Customer Relationship Management (CRM) standard package software has become a key contributor to attempts at aligning business and IT strategies in recent years. The past decade h...
107
Voted
JEA
2006
15 years 4 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
182
Voted
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...