1251 search results - page 138 / 251 » Design of an Early Minicomputer |
166
click to vote
ICSEA
2006
IEEE
16 years 16 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
166
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
153
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
156
click to vote
ITRUST
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
158
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...