10182 search results - page 1527 / 2037 » Case Studies |
242
click to vote
BIRTHDAY
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
179
click to vote
CHITALY
2011
14 years 7 months ago
2011
The latest Internet phenomenon is Twitter, a micro-blogging platform that in just a few years has attracted millions of users. With short messages (tweets), following and follower...
223
click to vote
COMPSAC
2011
IEEE
14 years 7 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
215
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
273
click to vote
DSD
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper presents an approach for the reliability-aware design optimization of real-time systems on multi-processor platforms. The optimization is based on an extension of wel...