660 search results - page 30 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
100
click to vote
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
131
click to vote
RTS
2006
15 years 2 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
214
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
With the proliferation of the RDF data format, engines for RDF query processing are faced with very large graphs that contain hundreds of millions of RDF triples. This paper addre...
187
click to vote
SCFBM
2008
15 years 1 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
102
Voted
BPM
2004
Springer
15 years 7 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...