2748 search results - page 329 / 550 » Generating Object-Z Specifications from Use Cases |
124
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
In the last couple of years we have evidenced several initiatives promoting the vision of open educational systems. Educational brokers are supposed to take advantage of this ‘in...
140
click to vote
HT
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
134
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Used alone, the MAS5.0 algorithm for generating expression summaries has been criticized for high False Positive rates resulting from exaggerated variance at low inten...
170
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
We describe a general algorithm to produce compatible 3D triangulations from spatial decompositions. Such triangulations match edges and faces across spatial cell boundaries, solv...
143
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...