166 search results - page 23 / 34 » Workshop on Graph-Based Tools |
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
WIKIS
2006
ACM
15 years 3 months ago
2006
ACM
Learning effectiveness depends on a large range of parameters. Learners’ activity has an important impact on long-term learning and comprehension of difficult concepts [1]. Coll...
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
With continuously growing numbers of applications, enterprises face the problem of efficiently managing the assignment of access permissions to their users. On the one hand, secur...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
ISESE
2002
IEEE
15 years 2 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...