Sciweavers

14360 search results - page 90 / 2872
» Time Modeling in MARTE
Sort
View
ICNC
2005
Springer
15 years 8 months ago
A Time-Series Decomposed Model of Network Traffic
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
Guang Cheng, Jian Gong, Wei Ding 0001
CODES
1998
IEEE
15 years 7 months ago
Optimistic distributed timed cosimulation based on thread simulation model
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
Sungjoo Yoo, Kiyoung Choi
CAISE
2008
Springer
15 years 5 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
109
Voted
JOT
2006
109views more  JOT 2006»
15 years 2 months ago
UML 2.0 Notation for Modeling Real Time Task Scheduling
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
María Cruz Valiente, Gonzalo Génova,...
SPIN
2004
Springer
15 years 8 months ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm