2746 search results - page 206 / 550 » Case Study in Survivable Network System Analysis |
183
click to vote
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
Two-factor authentication has been introduced in order to enhance security in authentication systems. Different factors have been introduced, which are combined for means of contr...
186
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
163
click to vote
IJSEKE
2008
15 years 6 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
177
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
Clicking is a key feature any interaction input system needs to provide. In the case of 3D input devices, such a feature is often difficult to provide (e.g. vision-based, or trac...
206
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...