4255 search results - page 441 / 851 » Database: Models, Languages, Design |
175
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
209
click to vote
ATVA
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
225
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
This paper proposes a data mining approach to modeling relationships among categories in image collection. In our approach, with image feature grouping, a visual dictionary is cre...
173
click to vote
FDL
2003
IEEE
16 years 6 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
161
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...