7118 search results - page 885 / 1424 » Electrical and Computer Engineering |
123
Voted
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
123
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiti...
134
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
160
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
132
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...