4586 search results - page 439 / 918 » Computing stable models in parallel |
172
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
161
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
The k-merge problem, given a collection of k, (2 k n), sorted sequences of total length n, asks to merge them into a new sorted sequence. The main contribution of this work is...
161
click to vote
ECOOPW
1997
Springer
15 years 11 months ago
1997
Springer
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
143
click to vote
CONCUR
1993
Springer
15 years 10 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
156
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...