36 search results - page 3 / 8 » compsac 2003 |
COMPSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
COMPSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
COMPSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
COMPSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
COMPSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...