5608 search results - page 140 / 1122 » Structure description tools |
117
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
117
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
129
click to vote
ESMART
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
137
click to vote
ICCAD
1993
IEEE
15 years 7 months ago
1993
IEEE
For submicron integrated circuits, 3D numerical techniques are required to accurately compute the values of the interconnect capacitances. In this paper, we describe an hierarchic...
123
click to vote
LISA
2007
15 years 5 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...