Sciweavers

13109 search results - page 303 / 2622
» The design and implementation of AspectC
Sort
View
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
157
Voted
CHINZ
2005
ACM
15 years 8 months ago
InkKit: a generic design tool for the tablet PC
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
Ronald Chung, Petrut Mirica, Beryl Plimmer
CE
2005
71views more  CE 2005»
15 years 6 months ago
Teachers' pedagogical designs for technology-supported collective inquiry: A national case study
The aim of the present study was to analyze teachers' pedagogical designs, plans of organized technology-supported, collective student inquiry. Ten teachers in Finland design...
Minna Lakkala, Jiri Lallimo, Kai Hakkarainen
213
Voted
CORR
2002
Springer
159views Education» more  CORR 2002»
15 years 6 months ago
Complexity of Mechanism Design
The aggregation of conflicting preferences is a central problem in multiagent systems. The key difficulty is that the agents may report their preferences insincerely. Mechanism de...
Vincent Conitzer, Tuomas Sandholm
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 26 days ago
Reducing the number of transistors in digital circuits using gate-level evolutionary design
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
Zbysek Gajda, Lukás Sekanina