Sciweavers

393 search results - page 48 / 79
» Defining Models - Meta Models versus Graph Grammars
Sort
View
ECEASST
2008
88views more  ECEASST 2008»
14 years 9 months ago
Reconfiguration of Reo Connectors Triggered by Dataflow
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
Christian Koehler, David Costa, José Proen&...
ENTCS
2006
142views more  ENTCS 2006»
14 years 9 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz
COMCOM
2006
110views more  COMCOM 2006»
14 years 9 months ago
Localized routing with guaranteed delivery and a realistic physical layer in wireless sensor networks
Routing is the problem of sending a packet from a source node to a destination node in the network. Existing solutions for sensor networks assume a unit disk graph model, where me...
Milos Stojmenovic, Amiya Nayak
AIL
2007
126views more  AIL 2007»
14 years 9 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
60
Voted
WWW
2008
ACM
15 years 10 months ago
Guanxi in the chinese web - a study of mutual linking
Guanxi is a type of dyadic social interaction based on feelings ("qing") and trust ("xin"). Long studied by scholars of Chinese origin, it has recently drawn t...
Valerie King, Louis Lei Yu, Yan Zhuang