Sciweavers

3993 search results - page 331 / 799
» Matchmaking for Structured Objects
Sort
View
BROADNETS
2006
IEEE
15 years 6 months ago
Multicasting in Energy Aware Mobile Backbone Based Wireless Ad Hoc Networks
Multicast protocols for MANET typically construct a tree or mesh structure for multicast message distribution. Typical implementations impose scalability and efficiency limitation...
Choo-Chin Tan, Izhak Rubin
IADIS
2004
15 years 5 months ago
Constructing Scorm Compliant Course Based on High Level Petri Nets
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...
OPODIS
2004
15 years 5 months ago
A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks
In this paper, we introduce the concept of hierarchy-based fault-local stabilization and a novel self-healing/fault-containment technique and apply them in Stalk. Stalk is an algo...
Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. ...
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 4 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 4 months ago
A Sequent Calculus for Modelling Interferences
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
Christophe Fouqueré