Sciweavers

1426 search results - page 105 / 286
» Federated simulations for systems of systems integration
Sort
View
NCM
2010
15 years 4 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...
RTAS
2008
IEEE
16 years 23 days ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 16 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IPPS
2006
IEEE
16 years 13 days ago
A job monitoring system for the LCG computing grid
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
Ahmad Hammad, T. Harenberg, D. Igdalov, P. Mä...
ECAI
2006
Springer
15 years 10 months ago
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
Tilman Becker, Nate Blaylock, Ciprian Gerstenberge...