8009 search results - page 149 / 1602 » cans 2005 |
134
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
133
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
135
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
147
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
137
click to vote
CD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...