15777 search results - page 2396 / 3156 » Software Engineering |
184
click to vote
SEKE
2004
Springer
16 years 24 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
187
click to vote
SEKE
2004
Springer
16 years 24 days ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
174
click to vote
IOLTS
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper investigates the behavior of the IEEE 1394 bus in the presence of transient errors in the hardware layers of the protocol. Software-implemented error injection is used ...
178
click to vote
IOLTS
2003
IEEE
16 years 21 days ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
193
click to vote
ISORC
2003
IEEE
16 years 21 days ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...