1411 search results - page 225 / 283 » Interactive Coding for Interactive Proofs |
SOFTVIS
2005
ACM
15 years 3 months ago
2005
ACM
Large software projects often require a programmer to make changes to unfamiliar source code. This paper presents the results of a formative observational study of seven professio...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper investigates the interaction between cultural evolution and biological evolution in the emergence of phonemic coding in speech. It is observed that our nearest relatives...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
EDO
2005
Springer
15 years 3 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...