Sciweavers

1404 search results - page 94 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
139
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 5 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
QUESTA
2007
170views more  QUESTA 2007»
15 years 4 months ago
Priority queueing systems: from probability generating functions to tail probabilities
Obtaining (tail) probabilities from a transform function is an important topic in queueing theory. To obtain these probabilities in discrete-time queueing systems, we have to inve...
Tom Maertens, Joris Walraevens, Herwig Bruneel
141
Voted
UML
2001
Springer
15 years 9 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
ISORC
2000
IEEE
15 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
116
Voted
WECWIS
2007
IEEE
119views ECommerce» more  WECWIS 2007»
15 years 10 months ago
Towards an Objective Assessment of Centrality Measures in Reputation Systems
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...
Christian von der Weth, Klemens Böhm