Sciweavers

1908 search results - page 277 / 382
» How to teach software modeling
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
WSC
1997
15 years 5 months ago
The Visual Simulation Environment Technology Transfer
This paper describes how the Visual Simulation Environment (VSE) technology has been transferred into a commercial product. The VSE has been created under research funding, primar...
Osman Balci, Anders I. Bertelrud, Chuck M. Esterbr...
IJNVO
2007
111views more  IJNVO 2007»
15 years 4 months ago
Virtual enterprise formation and partner selection: an analysis using case studies
: A Virtual Enterprise (VE) can be described as an organisational form that emerges when individual entities form a team of partners to achieve a specific goal. The ability to asse...
Sobah Abbas Petersen
HCI
2009
15 years 2 months ago
A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
Brian F. Gore, Becky L. Hooey, Christopher D. Wick...
JCIT
2010
130views more  JCIT 2010»
14 years 11 months ago
Research on Simulation and Optimization of Transshipment Port Operation in a Power Coal Ocean Shipping Logistics System on the B
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
Yabin Li