859 search results - page 111 / 172 » Explaining Synthesized Software |
AAAI
2006
13 years 10 months ago
2006
TPBOSCourier is the Transportation Procurement and Bid Optimization System (TPBOS) for Philips Electronics to automate and optimize its procurement of courier services. It was joi...
CMS
2006
13 years 10 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
DAGSTUHL
2006
13 years 10 months ago
2006
-- During the last 20 years, complexity has been an interesting topic that has been investigated in many fields of science, such as biology, neurology, software engineering, chemis...
ECIS
2004
13 years 10 months ago
2004
Enterprise Resource Planning (ERP) packages have been widely adopted and it is becoming clear that this is driven by multiple rationales that may be simultaneously at odds and com...
I3E
2001
13 years 10 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...