Sciweavers

1501 search results - page 190 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
WSC
2004
15 years 5 months ago
Statistical Analyses for Simulating Schedule Networks
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
Dong-Eun Lee, Jonathan Jingsheng Shi
ENTCS
2008
140views more  ENTCS 2008»
15 years 4 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
WCE
2007
15 years 5 months ago
A mathematical study of the pantograph/catenary dynamic interaction on transition spans
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
Jesús Benet, Angelines Alberto, Enrique Ari...
RECSYS
2010
ACM
15 years 4 months ago
Multiverse recommendation: n-dimensional tensor factorization for context-aware collaborative filtering
Context has been recognized as an important factor to consider in personalized Recommender Systems. However, most model-based Collaborative Filtering approaches such as Matrix Fac...
Alexandros Karatzoglou, Xavier Amatriain, Linas Ba...
CBSQ
2003
Springer
15 years 9 months ago
COTS-Based Requirements Engineering
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
Carina Alves