3782 search results - page 524 / 757 » Engineering Social Order |
170
click to vote
SIGMOD
1992
ACM
15 years 9 months ago
1992
ACM
This paper describes the Query Rewrite facility of the Starburst extensible database system, a novel phase of query optimization. We present a suite of rewrite rules used in Starb...
127
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
168
click to vote
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
131
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
142
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...