7380 search results - page 498 / 1476 » Engineering Software Intensive Systems |
152
Voted
IUI
1999
ACM
15 years 9 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
158
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
142
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
147
click to vote
FASE
1999
Springer
15 years 9 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
127
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...