977 search results - page 166 / 196 » Formal methods integration in software engineering |
121
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
133
Voted
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
Memory interleaving is a cost-efficient approach to increase bandwidth. Improving data access locality and reducing memory access conflicts are two important aspects to achieve hi...
117
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
168
click to vote
UIST
1999
ACM
15 years 8 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
155
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...