1604 search results - page 38 / 321 » Development Separation in Lambda-Calculus |
IDEAL
2003
Springer
14 years 26 days 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...
LCTRTS
2001
Springer
14 years 3 days 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...
SPLC
2010
13 years 9 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...
BMCBI
2011
12 years 11 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...
CRITICAL
2005
13 years 9 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...