3387 search results - page 111 / 678 » Automating the Metamodeling Process |
INFORMATICALT
2008
15 years 4 months ago
2008
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
144
click to vote
IJAOSE
2010
15 years 1 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
106
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
221
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
131
click to vote
IWSOS
2007
Springer
15 years 10 months ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...