5843 search results - page 852 / 1169 » Software Security in Practice |
177
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, speciļ¬cation, validation, and veriļ¬cation of systems. CP-nets have a wide range of applicati...
214
click to vote
SPE
2002
15 years 6 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
244
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
The Web has evolved from a global information space of linked documents to a web of linked data. The Web of Data enables answering complex, structured queries that could not be an...
196
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
161
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
As technologies age, they experience wear and degradation, sometimes resulting in loss of functionality. In response, parts are replaced and software is updated. Yet restorationā...