854 search results - page 149 / 171 » Addressing Dynamic Issues of Program Model Checking |
130
Voted
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...
111
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
110
click to vote
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
108
click to vote
MMM
2005
Springer
15 years 7 months ago
2005
Springer
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...
102
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...