4636 search results - page 662 / 928 » Application of Linguistic Techniques for Use Case Analysis |
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Many modern systems exploit data redundancy to improve efficiency. These systems split data into chunks, generate identifiers for each of them, and compare the identifiers among ot...
141
Voted
SIES
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
ESA
2009
Springer
15 years 6 months ago
2009
Springer
We consider the problem of representing, in a space-efficient way, a function f : S → Σ such that any function value can be computed in constant time on a RAM. Specifically, ou...
ICSR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
104
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...