640 search results - page 43 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
ICLP
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
BMCBI
2006
13 years 8 months ago
2006
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...
LICS
1994
IEEE
14 years 26 days ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
HICSS
2008
IEEE
2008
IEEE
Integration of an Ontological Information Security Concept in Risk Aware Business Process Management
14 years 3 months ago
Abstract— The ability to prevent risks as well as to appropriately counteract occurring threats has increasingly become a crucial success factor. Traditional business process man...