481 search results - page 42 / 97 » Scalable Matching of Industry Models - a Case Study |
HICSS
2010
IEEE
14 years 1 months ago
2010
IEEE
Enterprise Resource Planning (ERP) systems have received well-deserved attention from both the industry and the research communities, yet the usability of these systems remains a ...
JSAC
2006
13 years 7 months ago
2006
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...
FAC
2008
13 years 8 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
IJMTM
2007
13 years 7 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
FORTE
2007
13 years 9 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...