10406 search results - page 407 / 2082 » Using RDF to Model the Structure and Process of Systems |
253
Voted
VLSI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
262
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
172
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
138
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
132
Voted
LREC
2010
15 years 6 months ago
2010
Questions are not asked in isolation. Their context, viz. the preceding interactions, might be of help to understand them and retrieve the correct answer. Previous research in Int...