7206 search results - page 265 / 1442 » Using a Hypermedia System for Systems Engineering |
167
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an approach based on Information Retrieval (IR) techniques for extracting and representing the unstructured information in large software systems such that it ...
152
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
167
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
107
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In thispaper, the application of Rapid Prototvping in fabricating non-assembly robotic systems is presented. Using the StereolithographyApparatus SLA 190 of the Department of Mech...
170
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...