860 search results - page 131 / 172 » A Process Algebra Based Verification of a Production System |
SIGSOFT
1998
ACM
13 years 12 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
DPD
2007
13 years 7 months ago
2007
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...
BMCBI
2006
13 years 7 months ago
2006
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
HCI
2007
13 years 9 months ago
2007
The objective of this research is to present the symbiosis concept that integrates creativity and the recent research issues in affective response to products shapes. The major ide...
ICML
1998
IEEE
14 years 8 months ago
1998
IEEE
This paper introduces a new algorithm, Q2, foroptimizingthe expected output ofamultiinput noisy continuous function. Q2 is designed to need only a few experiments, it avoids stron...