25 search results - page 5 / 5 » Specification Synthesis for Monitoring and Analysis of MANET... |
LISA
2007
13 years 7 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...
IKE
2010
13 years 2 months ago
2010
Real-time information dissemination is essential for the success of key applications such as transportation management and battlefield monitoring. In these applications, relevant ...
ICSE
2003
IEEE-ACM
13 years 10 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Video-mediated communication systems such as teleconferencing and videophone have become popular. As with face-to-face communication, non-verbal cues such as gaze, facial expressi...
AAAI
1994
13 years 6 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...