Sciweavers

537 search results - page 52 / 108
» Extended directed triple systems
Sort
View
SCP
2010
78views more  SCP 2010»
13 years 8 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...
WIOPT
2010
IEEE
13 years 8 months ago
Analysis and design of message ferry routes in sensor networks using polling models
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
Veeraruna Kavitha, Eitan Altman
FCSC
2010
170views more  FCSC 2010»
13 years 7 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
COGSR
2011
88views more  COGSR 2011»
13 years 5 months ago
Reactive goal management in a cognitive architecture
Goals play an important role in human cognition. Different aspects of human mind influence the generation of goals they pursue, and the goals guide their behaviors. In psychology...
Dongkyu Choi
AOSD
2009
ACM
14 years 4 months ago
Expressive scoping of distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
Éric Tanter, Johan Fabry, Rémi Douen...