69 search results - page 7 / 14 » Reactive Systems over Cospans |
TPHOL
1998
IEEE
14 years 2 days ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
IFIP
1999
Springer
14 years 3 days ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
AAAI
2007
13 years 10 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
COMPLEX
2009
Springer
14 years 2 months ago
2009
Springer
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...