1454 search results - page 166 / 291 » Stateful traits and their formalization |
182
click to vote
COMSWARE
2008
IEEE
16 years 25 days ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
198
click to vote
SEFM
2008
IEEE
16 years 22 days ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
170
click to vote
ANSS
2007
IEEE
16 years 21 days ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
142
click to vote
HASE
2007
IEEE
16 years 21 days ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
136
click to vote
SEFM
2007
IEEE
16 years 19 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...