Sciweavers

10585 search results - page 1960 / 2117
» The Orc Programming Language
Sort
View
ACMSE
2004
ACM
15 years 6 months ago
E-R modeler: a database modeling toolkit for Eclipse
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
132
Voted
AOSD
2004
ACM
15 years 6 months ago
Association aspects
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayash...
90
Voted
ITICSE
2004
ACM
15 years 6 months ago
Design and evolution of an undergraduate course on web application development
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
Kwok-Bun Yue, Wei Ding 0003
97
Voted
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 6 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
AUSAI
2004
Springer
15 years 6 months ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
« Prev « First page 1960 / 2117 Last » Next »