1595 search results - page 128 / 319 » Illustrative Parallel Coordinates |
166
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
154
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
166
click to vote
ECOOPW
1994
Springer
15 years 10 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
164
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
152
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Business and IT alignment demands clear traceability between the applications to be developed and the business requirements. SEAM is a systemic visual approach for modeling system...