7693 search results - page 1258 / 1539 » Design and Implementation of the FRIENDS System |
159
click to vote
TSE
2008
15 years 6 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
189
click to vote
TSMC
2008
2008
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
15 years 6 months ago
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...
185
click to vote
AROBOTS
2002
15 years 6 months ago
2002
Recent research in mobile robot navigation make it feasible to utilize autonomous robots in service fields. But, such applications require more than just navigation. To operate in...
180
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
180
click to vote
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
Abstract New application areas or new technical innovations expect from database management systems more and more new functionality. However, adding functions to the DBMS as an int...