640 search results - page 98 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
ICEIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
ETS
2000
IEEE
13 years 8 months ago
2000
IEEE
Organizations have long had the need to record and protect the knowledge that is their intellectual capital. However, the primary burden for knowledge management has been borne by...