Sciweavers

615 search results - page 83 / 123
» Completeness of Combinations of Constructor Systems
Sort
View
SIGCOMM
2006
ACM
14 years 2 months ago
Analyzing the MAC-level behavior of wireless networks in the wild
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
Ratul Mahajan, Maya Rodrig, David Wetherall, John ...
JCDL
2004
ACM
93views Education» more  JCDL 2004»
14 years 2 months ago
Digital trail libraries
We propose the idea of an online, user submitted digital library of recreation trails. Digital libraries of trails offer advantages over paper guidebooks in that they are more acc...
Scott Morris, Alan Morris, Kobus Barnard
AOSE
2004
Springer
14 years 2 months ago
Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
Jan Sudeikat, Lars Braubach, Alexander Pokahr, Win...
HICSS
2003
IEEE
92views Biometrics» more  HICSS 2003»
14 years 2 months ago
Human-Robot Interaction for Intelligent Assisted Viewing During Teleoperation
The Visual Acts theory aims to provide intelligent assistance for camera viewpoint selection during teleoperation. It combines top-down partitioning of a task and bottom-up monito...
Gerard T. McKee, Bernard G. Brooks, Paul S. Schenk...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...