1209 search results - page 139 / 242 » Universal Algebra and Computer Science |
104
Voted
TCS
2010
14 years 10 months ago
2010
The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled ncube, in exac...
117
Voted
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
108
Voted
ADHOCNETS
2009
Springer
15 years 10 months ago
2009
Springer
We present a low-cost sensor buoy designed for unattended dissolved oxygen measurement in aquatic environment. We describe the buoy’s architectural design and three experiments ...
140
click to vote
CAPTECH
1998
Springer
15 years 7 months ago
1998
Springer
bstraction and Mapping with Spatial Constraints ? Rama Bindiganavale and Norman I. Badler Computer and Information Science Department University of Pennsylvania, PA 19104-6389, USA...
99
Voted
SPAA
1990
ACM
15 years 7 months ago
1990
ACM
d Abstract) Richard J. Anderson Paul Beame Walter L. Ruzzo Department of Computer Science and Engineering University of Washingtoni We introduce a task scheduling model which is u...