Sciweavers

6348 search results - page 47 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
UIST
1999
ACM
15 years 10 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 10 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing
EUROMICRO
1997
IEEE
15 years 10 months ago
From serializable to causal transactions for collaborative applications
Michel Raynal, Gérard Thia-Kime, Mustaque A...