Last week I presented a School Research Seminar on Model Driven Context Aware Reactive Applications. The seminar generated some interesting questions, particularly about proving security and privacy aspects of applications given a precise representation such as that supported by the approach described in the slides below. This is something I had not really thought about, but is an important feature of mobile applications. Another important area is the incorporation of product lines into this approach. Static variability occurs because of the large number of (versions of) platforms and dynamic variability occurs due to changes in context (battery levels and location for example).
Only 17% of all 64-bit Integers are products of two 32-bit integers
-
In software programming, the product between two integers is often computed
to a fixed number of bits with overflow. Consider 8-bit integers. If you
multip...
21 hours ago

No comments:
Post a Comment