8623 search results - page 1444 / 1725 » Software engineering for secure systems |
161
click to vote
WSC
2000
15 years 8 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
269
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
131
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
145
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
159
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (ERP)-enabled e-business integration initiatives. I...