4290 search results - page 707 / 858 » Formal Approaches to Teamwork |
174
click to vote
IEEEICCI
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
179
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...
144
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
183
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
198
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...