1604 search results - page 38 / 321 » Development Separation in Lambda-Calculus |
94
Voted
IDEAL
2003
Springer
15 years 6 months ago
2003
Springer
Conversational agent is a system that provides user with proper information and maintains the context of dialogue based on natural language. When experts design the network for con...
107
click to vote
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
153
Voted
SPLC
2010
15 years 2 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...
124
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
122
Voted
CRITICAL
2005
15 years 2 months ago
2005
This paper addresses design agendas in Human-Computer Interaction and neighbouring fields motivated by the mixing of areas that were mostly kept separate until recently, such as m...