746 search results - page 106 / 150 » The NASA standard for models and simulations |
90
Voted
ARITH
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electromagnetic analysis when multiplier operations are insufficiently shielde...
123
Voted
ICW
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...
119
Voted
FMSP
2000
ACM
15 years 5 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
102
Voted
ESANN
2006
15 years 2 months ago
2006
We explore the capability of the Self Organizing Map for structured data (SOM-SD) to compress continuous time data recorded from a kinematic tree, which can represent a robot or an...
102
Voted
EMISA
2002
Springer
15 years 15 days ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...