2016 search results - page 369 / 404 » Tool Support for Ontology Engineering |
185
click to vote
EUROMICRO
2006
IEEE
16 years 4 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
170
click to vote
ACMDIS
2006
ACM
16 years 1 days ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
173
click to vote
PLDI
2006
ACM
16 years 23 hour ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
158
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
171
Voted
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...