Sciweavers

467 search results - page 52 / 94
» Simple Mechanical Control Systems with Constraints and Symme...
Sort
View
INFOCOM
1999
IEEE
14 years 1 months ago
An Architecture for Noncooperative QoS Provision in Many-Switch Systems
With the proliferation of high-speed networks and networked services, provisioning differentiated services to a diverse user base with heterogeneous QoS requirements has become an ...
Shaogang Chen, Kihong Park
EMSOFT
2007
Springer
14 years 27 days ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
ENTCS
2006
231views more  ENTCS 2006»
13 years 9 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
ICC
2007
IEEE
14 years 3 months ago
Hybrid Power/Overlap Allocation Scheme for a Multirate Overlapped Optical CDMA System
– This paper addresses the problem of resource allocation in a multiservice optical network based on an Overlapped-CDMA system. A joint transmission power and overlapping coeffic...
Robert Raad, Elie Inaty, Paul Fortier, Hossam M. H...
FASE
2003
Springer
14 years 2 months ago
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
David Scott, Alastair R. Beresford, Alan Mycroft