Sciweavers

6348 search results - page 47 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
UIST
1999
ACM
15 years 7 months ago
Linking and Messaging from Real Paper in the Paper PDA
Jeremy M. Heiner, Scott E. Hudson, Kenichiro Tanak...
WADT
1999
Springer
15 years 7 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing
EUROMICRO
1997
IEEE
15 years 7 months ago
From serializable to causal transactions for collaborative applications
Michel Raynal, Gérard Thia-Kime, Mustaque A...