3432 search results - page 107 / 687 » Model Development in the UML-based Specification Environment... |
CCGRID
2004
IEEE
14 years 18 days ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
ACMSE
2004
ACM
14 years 2 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
COMPSAC
2007
IEEE
14 years 24 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
DAGSTUHL
1998
13 years 10 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
DMIN
2006
13 years 10 months ago
2006
are proposing a model to help organizations detect and prevent cheats in online assessments. First we analyze different student personalities, stress situations generated by onlin...