Sciweavers

469 search results - page 49 / 94
» E-Business in the Communications Industry
Sort
View
CCGRID
2008
IEEE
14 years 11 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
CSMR
2008
IEEE
14 years 11 months ago
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
Dan C. Cosma, Radu Marinescu
CONCUR
2010
Springer
14 years 11 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
FAC
2008
117views more  FAC 2008»
14 years 9 months ago
Model checking Duration Calculus: a practical approach
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...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
IAJIT
2008
120views more  IAJIT 2008»
14 years 9 months ago
A SCOR Reference Model of the Supply Chain Management System in an Enterprise
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
Danish Irfan, Xiaofei Xu, Shengchun Deng, Zengyou ...