631 search results - page 47 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
102
click to vote
SEUS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
PTS
2008
14 years 11 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
ACL
2009
14 years 7 months ago
2009
Recently, various synchronous grammars are proposed for syntax-based machine translation, e.g. synchronous context-free grammar and synchronous tree (sequence) substitution gramma...