799 search results - page 42 / 160 » Handling Dynamic Schema Change in Process Models |
155
click to vote
PREMI
2007
Springer
15 years 8 months ago
2007
Springer
The rapid expansion of the Internet has resulted not only in the ever-growing amount of data stored therein, but also in the burgeoning complexity of the concepts and phenomena per...
131
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
192
click to vote
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
113
click to vote
CCCG
2008
15 years 3 months ago
2008
Many important problems in Computational Geometry needs to perform some kind of angle processing. The Polar Diagram [4] is a locus approach for problems processing angles. Using t...
107
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...