1599 search results - page 150 / 320 » Program Analysis for Security and Privacy |
143
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
131
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
148
Voted
ISI
2008
Springer
15 years 4 months ago
2008
Springer
To conduct content analysis over text data, one may look out for important named objects and entities that refer to real world instances, synthesizing them into knowledge relevant ...
150
click to vote
WISA
2009
Springer
15 years 10 months ago
2009
Springer
In CHES 2008 a generic side-channel distinguisher, Mutual Information, has been introduced to be independent of the relation between measurements and leakages as well as between le...
158
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...