Sciweavers

11653 search results - page 319 / 2331
» The Development of the C Language
Sort
View
HICSS
2002
IEEE
166views Biometrics» more  HICSS 2002»
15 years 11 months ago
Developing Legible Visualizations for Online Social Spaces
Although constructed for researchers to share news and information, Usenet quickly developed into a social environment with varied styles of interactions. Unfortunately, the brows...
Danah Boyd, Hyun-Yeul Lee, Daniel Ramage, Judith S...
ISORC
1998
IEEE
15 years 11 months ago
An Approach to Distributed Component-Based Real-Time Application Software Development
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
Stephen S. Yau, Bing Xia
ICLP
2010
Springer
15 years 10 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
HIS
2007
15 years 8 months ago
Genetic Programming meets Model-Driven Development
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
Thomas Weise, Michael Zapf, Mohammad Ullah Khan, K...
CSL
2006
Springer
15 years 10 months ago
Separation Logic for Higher-Order Store
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
Bernhard Reus, Jan Schwinghammer