Sciweavers

3967 search results - page 405 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
ICFP
2009
ACM
16 years 7 months ago
A functional I/O system or, fun for freshman kids
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
Matthias Felleisen, Robert Bruce Findler, Matthew ...
EMISAIJ
2010
15 years 1 months ago
The Proviado Access Control Model for Business Process Monitoring Components
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
Manfred Reichert, Sarita Bassil, Ralph Bobrik, Tho...
JSAC
2006
149views more  JSAC 2006»
15 years 6 months ago
A Cross-Layer Optimization Framework for Multihop Multicast in Wireless Mesh Networks
The optimal and distributed provisioning of high throughput in mesh networks is known as a fundamental but hard problem. The situation is exacerbated in a wireless setting due to t...
Jun Yuan, Zongpeng Li, Wei Yu, Baochun Li
FROCOS
2009
Springer
16 years 1 months ago
Taming the Complexity of Temporal Epistemic Reasoning
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
Clare Dixon, Michael Fisher, Boris Konev
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 1 months ago
Continuous path planning for a data harvesting mobile server
— We consider a queueing system composed of queues distributed at fixed locations in a continuous environment and a mobile server serving the jobs in the queues with spatially v...
Jerome Le Ny, Munther A. Dahleh, Eric Feron, Emili...