10263 search results - page 1790 / 2053 » From Use Cases to System Operation Specifications |
166
click to vote
IWSEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
171
click to vote
EUROPAR
2007
Springer
16 years 28 days ago
2007
Springer
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
164
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
146
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
159
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
— As navigation autonomy becomes an increasingly important research topic for biped humanoid robots, efficient approaches to perception and mapping that are suited to the unique...