Sciweavers

6308 search results - page 73 / 1262
» Modeling Urgency in Timed Systems
Sort
View
GLOBECOM
2006
IEEE
15 years 3 months ago
Collision Model for Bit Error Rate analysis of Time Hopping Impulse Radio in Multipath Nakagami-m Channels
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
L. Reggiani, Umberto Spagnolini
CAISE
2008
Springer
14 years 11 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
RTS
2010
90views more  RTS 2010»
14 years 8 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 4 months ago
A Simple Model for the Reliability of an Infrastructure System Controlled by Agents
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...
WSC
2004
14 years 11 months ago
A Stochastic On-Line Model for Shipment Date Quoting with On-Time Delivery Guarantees
The paper introduces a new model for shipment date quoting with potential applications in E-commerce. First, a customer sends to the vendor a request for an item advertised at a c...
Yunpeng Pan, Leyuan Shi