Sciweavers

4890 search results - page 302 / 978
» From system specifications to component behavioral models
Sort
View
IAJIT
2008
120views more  IAJIT 2008»
15 years 6 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 ...
203
Voted
EMSOFT
2005
Springer
16 years 9 days ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele
TSMC
2008
110views more  TSMC 2008»
15 years 6 months ago
Bridging Global and Local Models of Service-Oriented Systems
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
HICSS
2003
IEEE
111views Biometrics» more  HICSS 2003»
16 years 2 days ago
Modeling the User Acceptance of E-Mail
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
Geoffrey S. Hubona, Andrew Burton-Jones
COORDINATION
2008
Springer
15 years 8 months ago
A Process Calculus for Mobile Ad Hoc Networks
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka