7924 search results - page 1310 / 1585 » Non-Malleable Functions and Their Applications |
167
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Heterogeneous Business Process Modeling (BPM) schemas have been a problem for business process management throughout the last couple of years. Although there are several standardiz...
176
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 10 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
189
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
193
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Machine learning systems offer unparalled flexibility in dealing with evolving input in a variety of applications, such as intrusion detection systems and spam e-mail filtering. H...
187
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...