585 search results - page 94 / 117 » Structured Formal Development in Isabelle |
BIBE
2006
IEEE
15 years 5 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
DOCENG
2006
ACM
15 years 5 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
103
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
109
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...