Sciweavers

1802 search results - page 132 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
145
Voted
RSP
2003
IEEE
176views Control Systems» more  RSP 2003»
15 years 8 months ago
Rapid Design and Analysis of Communication Systems Using the BEE Hardware Emulation Environment
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
Chen Chang, Kimmo Kuusilinna, Brian C. Richards, A...
ICSM
2008
IEEE
15 years 9 months ago
Supporting requirements reuse in multi-agent system product line design and evolution
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
Josh Dehlinger, Robyn R. Lutz
89
Voted
ISQED
2010
IEEE
114views Hardware» more  ISQED 2010»
15 years 9 months ago
Toward effective utilization of timing exceptions in design optimization
— Timing exceptions in IC implementation processes, especially timing verification, help reduce pessimism that arises from unnecessary timing constraints by masking non-function...
Kwangok Jeong, Andrew B. Kahng, Seokhyeong Kang
119
Voted
WWW
2007
ACM
16 years 3 months ago
Explorations in the use of semantic web technologies for product information management
Master data refers to core business entities a company uses repeatedly across many business processes and systems (such as lists or hierarchies of customers, suppliers, accounts, ...
Chen Wang, Daniel C. Wolfson, Jean-Sébastie...
101
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu