7557 search results - page 74 / 1512 » Modeling Timed Concurrent Systems |
103
click to vote
FUIN
2000
15 years 1 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
115
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
133
click to vote
AC
2004
Springer
15 years 1 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
108
click to vote
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...