878 search results - page 131 / 176 » Interacting Abstract State Machines |
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
157
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
105
click to vote
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
PRIMA
2007
Springer
15 years 3 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...