7206 search results - page 342 / 1442 » Using a Hypermedia System for Systems Engineering |
155
click to vote
EUROMICRO
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
186
Voted
ICFEM
2003
Springer
16 years 20 days ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
222
Voted
CODES
2002
IEEE
16 years 13 days ago
2002
IEEE
In many embedded systems, existence of a data cache might influence the effectiveness of process scheduling policy significantly. Consequently, a scheduling policy that takes in...
231
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
199
click to vote
FORTEST
2008
15 years 9 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...