1776 search results - page 46 / 356 » A Visual Modeling Environment for Embedded Component Systems |
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes work in progress to develop a component-based software infrastructure, called Padico, for computational grids based on the CORBA Component Model from the OMG....
GIS
1999
ACM
15 years 4 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
125
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
SOCIALCOM
2010
14 years 9 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...