Sciweavers

4285 search results - page 138 / 857
» Differential Behavioral Analysis
Sort
View
ENTCS
2006
160views more  ENTCS 2006»
15 years 5 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
AROBOTS
2004
131views more  AROBOTS 2004»
15 years 5 months ago
Evolving Self-Organizing Behaviors for a Swarm-Bot
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
Marco Dorigo, Vito Trianni, Erol Sahin, Roderich G...
TJS
2002
144views more  TJS 2002»
15 years 5 months ago
TCP Performance and Behaviors with Local Retransmissions
TCP has been the dominant transport protocol over the global Internet, and its performance over a hybrid wireless/wireline network has attracted much attention in recent years. Thi...
Jianping Pan, Jon W. Mark, Sherman X. Shen
DALT
2010
Springer
15 years 13 days ago
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
204
Voted
HICSS
2011
IEEE
264views Biometrics» more  HICSS 2011»
14 years 9 months ago
The Kukui Cup: A Dorm Energy Competition Focused on Sustainable Behavior Change and Energy Literacy
Abstract—The Kukui Cup is an advanced dorm energy competition whose goal is to investigate the relationships among energy literacy, sustained energy conservation, and information...
Robert S. Brewer, George E. Lee, Philip M. Johnson