1681 search results - page 213 / 337 » Formal Design of Distributed Control Systems with Lustre |
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...
DMSN
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
IEE
2011
14 years 4 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Client puzzles have been proposed in a number of protocols as a mechanism for mitigating the effects of distributed denial of service (DDoS) attacks. In order to provid...