3468 search results - page 264 / 694 » An open logical framework |
156
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
184
click to vote
GPCE
2007
Springer
16 years 25 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
168
click to vote
ISCA
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
193
click to vote
IEEEPACT
2005
IEEE
16 years 7 days ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...
179
click to vote
IEEEICCI
2003
IEEE
15 years 12 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...