4305 search results - page 377 / 861 » Analysing Protocol Implementations |
151
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
186
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
131
click to vote
WSC
2008
15 years 9 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
195
click to vote
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we consider the problem of energy balanced data propagation in wireless sensor networks and we generalise previous works by allowing realistic energy assignment. A n...
153
click to vote
ACL
2004
15 years 8 months ago
2004
Parsing systems which rely on hand-coded linguistic descriptions can only perform adequately in as far as these descriptions are correct and complete. The paper describes an error...