231 search results - page 12 / 47 » A Brief Overview of HOL4 |
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
ISCIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
XIMEP
2004
ACM
14 years 2 months ago
2004
ACM
We give an overview on how XQuery processing works in our native XML database system Natix. After a brief description of the query compiler we focus on the aspect of join ordering...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Developing interaction rules/protocols among multiple agents is one of the central research topics in multi-agent systems. For cooperative agents, we need to develop protocols so ...