1060 search results - page 165 / 212 » Mechanized semantics |
EDOC
2008
IEEE
15 years 4 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...