12774 search results - page 187 / 2555 » A Framework for Proof Systems |
147
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
124
click to vote
FLAIRS
2007
15 years 7 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
144
click to vote
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
117
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
151
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...