Sciweavers

2306 search results - page 60 / 462
» Modeling issues in a shipping system
Sort
View
SOCO
2008
Springer
13 years 8 months ago
Compositional Modeling for Data-Centric Business Applications
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
Ethan K. Jackson, Wolfram Schulte
AINA
2007
IEEE
14 years 3 months ago
A Flexible Scheduling Framework for Deeply Embedded Systems
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
Karsten Walther, Jörg Nolte
ISPDC
2006
IEEE
14 years 2 months ago
Managing Information and Time Flow in an Agent-Based E-Commerce System
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
Maciej Gawinecki, Maria Ganzha, Pawel Kobzdej, Mar...
ARTS
1999
Springer
14 years 1 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
DEXAW
2005
IEEE
123views Database» more  DEXAW 2005»
14 years 2 months ago
Requirements for the Visualization of System-Spanning Business Processes
The monitoring and visualization of enterprise-wide and cross-organizational business processes is an important, but also very complex task. The information needed for visualizing...
Ralph Bobrik, Manfred Reichert, Thomas Bauer