1481 search results - page 285 / 297 » Enriching the Software Development Process by Formal Methods |
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
133
click to vote
CASCON
1996
15 years 1 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
ESORICS
2010
Springer
15 years 25 days ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
114
click to vote
ENTCS
2010
14 years 9 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
111
click to vote
AINA
2010
IEEE
14 years 8 months ago
2010
IEEE
- This paper introduces a neural network training tool through computer networks. The following algorithms, such as neuron by neuron (NBN) [1][2], error back propagation (EBP), Lev...