7452 search results - page 1394 / 1491 » A Semantics for Multiprocessor Systems |
156
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
156
click to vote
SP
2008
IEEE
15 years 2 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
132
Voted
JIDM
2010
15 years 2 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
133
click to vote
JOT
2010
15 years 2 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
124
click to vote
JTAER
2010
15 years 2 months ago
2010
The success and competitive edge of enterprises has become increasingly dependent on the enterprises’ agility to become members in business networks that support their own busin...