8083 search results - page 1595 / 1617 » A Formalization of Software Architecture |
226
click to vote
BICOB
2010
Springer
15 years 10 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
158
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
159
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present a verification platform designed for HyperTransport 3.x (HT3) applications. HyperTransport 3.x is a very low latency and high bandwidth chip-tochip interc...
191
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
155
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight, together with performance considerations. Energy-conscious design is...