2897 search results - page 367 / 580 » Test Case Integration: From Components to Systems |
194
click to vote
JAR
2000
15 years 6 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
181
click to vote
ILP
2007
Springer
16 years 19 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
193
click to vote
SPLC
2000
15 years 7 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
174
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Within the information systems discipline, three streams have emerged that address the issue of information technology adoption, diffusion and use. The first examines the factors ...
224
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...