iotcloud.git
8 years agoAdding empty set as another return value for a true condition in PutSlot
rtrimana [Tue, 12 Jul 2016 21:36:32 +0000 (14:36 -0700)]
Adding empty set as another return value for a true condition in PutSlot

8 years agoUsing \tuple{} for expressing tuples
rtrimana [Tue, 12 Jul 2016 17:56:12 +0000 (10:56 -0700)]
Using \tuple{} for expressing tuples

8 years agoAdding helper functions for server part; cleaning up
rtrimana [Tue, 12 Jul 2016 15:14:53 +0000 (08:14 -0700)]
Adding helper functions for server part; cleaning up

8 years agoCleaning up PutSlot function
rtrimana [Mon, 11 Jul 2016 23:47:28 +0000 (16:47 -0700)]
Cleaning up PutSlot function

8 years agoedits
bdemsky [Mon, 11 Jul 2016 21:58:30 +0000 (14:58 -0700)]
edits

8 years agoRenaming Get and Put into GetSlot and PutSlot; Cleaning up PutSlot
rtrimana [Mon, 11 Jul 2016 21:41:25 +0000 (14:41 -0700)]
Renaming Get and Put into GetSlot and PutSlot; Cleaning up PutSlot

8 years agoclean up some definitions plus get function
bdemsky [Mon, 11 Jul 2016 20:12:30 +0000 (13:12 -0700)]
clean up some definitions plus get function

8 years agoServer algorithm revised - two basic functions, e.g. put and get; preliminary writeup...
rtrimana [Mon, 11 Jul 2016 16:28:17 +0000 (09:28 -0700)]
Server algorithm revised - two basic functions, e.g. put and get; preliminary writeup for definitions part

8 years agoAdding client algorithm; modifying some parts of server algorithm - first draft
rtrimana [Thu, 7 Jul 2016 21:03:52 +0000 (14:03 -0700)]
Adding client algorithm; modifying some parts of server algorithm - first draft

8 years agoAdding server algorithm
rtrimana [Wed, 6 Jul 2016 17:37:53 +0000 (10:37 -0700)]
Adding server algorithm

8 years agomore comments
bdemsky [Tue, 5 Jul 2016 20:29:09 +0000 (13:29 -0700)]
more comments

8 years agoadd notes
bdemsky [Tue, 5 Jul 2016 20:27:55 +0000 (13:27 -0700)]
add notes

8 years agoCompleting login and key management (part 1.1)
rtrimana [Tue, 5 Jul 2016 16:24:23 +0000 (09:24 -0700)]
Completing login and key management (part 1.1)

8 years agoGive more explanations on data entries, add a few punctuations, etc.
rtrimana [Thu, 30 Jun 2016 15:36:17 +0000 (08:36 -0700)]
Give more explanations on data entries, add a few punctuations, etc.

8 years agoForce proof on failed write
bdemsky [Wed, 29 Jun 2016 23:39:31 +0000 (16:39 -0700)]
Force proof on failed write

8 years agotypo
bdemsky [Wed, 29 Jun 2016 23:31:35 +0000 (16:31 -0700)]
typo

8 years agoAdd document
bdemsky [Wed, 29 Jun 2016 06:02:06 +0000 (23:02 -0700)]
Add document