5353 search results - page 280 / 1071 » Modelling Contexts in the Or-BAC Model |
170
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
178
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
167
click to vote
WSC
2007
15 years 9 months ago
2007
A HDD template is designed and developed for modeling and simulation for final assembly of hard disk drive (HDD) manufacturing using Arena. The designed HDD template is a high fle...
179
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
177
click to vote
IADIS
2008
15 years 8 months ago
2008
Using open e-learning platforms as a tool to support the learning process has become an international tendency. Specially, in order to motivate the achievement of desired competen...