4636 search results - page 614 / 928 » Application of Linguistic Techniques for Use Case Analysis |
192
click to vote
ECSA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
209
click to vote
AISM
2004
15 years 9 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
352
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
203
click to vote
CIVR
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we propose two ways of improving image classification based on bag-of-words representation [25]. Two shortcomings of this representation are the loss of the spatial...
177
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...