8083 search results - page 1474 / 1617 » A Formalization of Software Architecture |
152
Voted
ATAL
2003
Springer
16 years 6 days ago
2003
Springer
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...
186
click to vote
AWIC
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. Complementary to hypertext navigation, classic information retrieval is broadly used to find information on the World Wide Web and on Web-based systems. Among these there...
191
click to vote
CIKM
2003
Springer
16 years 5 days ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
204
Voted
EGH
2003
Springer
16 years 5 days ago
2003
Springer
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
154
click to vote
EMSOFT
2003
Springer
16 years 5 days ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...