2637 search results - page 228 / 528 » Tool Supported Specification and Simulation of Distributed S... |
143
Voted
QEST
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
143
click to vote
SDL
2001
15 years 7 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
165
Voted
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
144
click to vote
IOR
2008
15 years 6 months ago
2008
We consider the risk of a portfolio comprised of loans, bonds, and financial instruments that are subject to possible default. In particular, we are interested in performance meas...
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...