2210 search results - page 427 / 442 » Applying a Model-based Approach for Embedded System Developm... |
AH
2008
Springer
14 years 3 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
IEEEPACT
2006
IEEE
14 years 2 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
EWCBR
2004
Springer
14 years 2 months ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
ACSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
System protection mechanisms such as access controls can be fooled by authorized but malicious users, masqueraders, and misfeasors. Intrusion detection techniques are therefore us...
ICDCS
2011
IEEE
12 years 8 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...