1681 search results - page 255 / 337 » Formal Design of Distributed Control Systems with Lustre |
WSC
2000
13 years 9 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
ICDCS
2011
IEEE
12 years 7 months ago
2011
IEEE
—In this paper, we propose E-Shadow, a distributed mobile phone-based local social networking system. E-Shadow has two main components: (1) Local profiles. They enable EShadow u...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce the concept of membership-concealing overlay networks (MCONs), which hide the real-world identities of participants. We argue that while membership concealment is ort...
FUIN
2008
13 years 7 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
MOBICOM
2012
ACM
11 years 10 months ago
2012
ACM
As we are surrounded by an ever-larger variety of post-PC devices, the traditional methods for identifying and authenticating users have become cumbersome and time-consuming. In t...