Sciweavers

3765 search results - page 607 / 753
» Qualitative Action Systems
Sort
View
FOAL
2009
ACM
16 years 16 days ago
Unweaving the impact of aspect changes in AspectJ
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
Luca Cavallaro, Mattia Monga
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
16 years 15 days ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
16 years 15 days ago
Stability of node-based multipath routing and dual congestion control
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
Enrique Mallada, Fernando Paganini
HICSS
2008
IEEE
139views Biometrics» more  HICSS 2008»
16 years 14 days ago
Understanding the Roles of Knowledge Sharing and Trust in Online Learning Communities
This paper builds upon action and design research aimed at enhancing scholarly community and conversation in a graduate school setting. In this paper we focus on knowledge sharing...
Brian Thoms, Nathan Garrett, Jesus Canelon Herrera...
ICCCN
2008
IEEE
16 years 14 days ago
Policy Distribution Methods for Function Parallel Firewalls
—Parallel firewalls offer a scalable low latency design for inspecting packets at high speeds. Typically consisting of an array of m firewalls, these systems filter arriving p...
Michael R. Horvath, Errin W. Fulp, Patrick Wheeler