Sciweavers

2306 search results - page 33 / 462
» Modeling issues in a shipping system
Sort
View
NEUROSCIENCE
2001
Springer
14 years 1 months ago
Analysis and Synthesis of Agents That Learn from Distributed Dynamic Data Sources
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
Doina Caragea, Adrian Silvescu, Vasant Honavar
CAISE
2006
Springer
14 years 18 days ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
RTCSA
2005
IEEE
14 years 2 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
NCM
2010
13 years 7 months ago
Trusted business system model using context sensitiveness
—The objective of the paper is to propose a predictable context sensitive trust model for a business system. A business system can be imagined with four basic entities between wh...
Chandrasekaran Subramaniam, Sankarbharathy Ponnusa...
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
14 years 16 days ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...