7206 search results - page 342 / 1442 » Using a Hypermedia System for Systems Engineering |
132
click to vote
EUROMICRO
2005
IEEE
16 years 9 days 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...
169
click to vote
ICFEM
2003
Springer
15 years 12 months 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...
192
click to vote
CODES
2002
IEEE
15 years 11 months 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...
210
click to vote
ATVA
2008
Springer
15 years 8 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...
170
click to vote
FORTEST
2008
15 years 8 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...