Sciweavers

22560 search results - page 228 / 4512
» Development of Transportation Systems
Sort
View
CADE
2008
Springer
16 years 6 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
WSC
2004
15 years 7 months ago
IAGO Project and Development of Compound Agents
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
John E. Hiles
IEEEARES
2008
IEEE
16 years 20 days ago
Reliability Analysis using Graphical Duration Models
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
Roland Donat, Laurent Bouillaut, Patrice Aknin, Ph...
ICWE
2010
Springer
15 years 4 months ago
Automated Generation of Itineraries in Recommender Systems for Tourism
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
Pierpaolo Di Bitonto, Francesco Di Tria, Maria Lat...
ICMCS
2000
IEEE
102views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Trader's Quality of Service Specifications and Effects on System Performance for Video-on-Demand
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
Edward Babulak