Sciweavers

783 search results - page 24 / 157
» The Bio-PEPA Tool Suite
Sort
View
SIGMETRICS
2012
ACM
271views Hardware» more  SIGMETRICS 2012»
11 years 10 months ago
An empirical comparison of Java remote communication primitives for intra-node data transmission
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
Philip F. Burdette, William F. Jones, Brian C. Blo...
IEE
1998
90views more  IEE 1998»
13 years 7 months ago
On the role of software architectures in runtime system reconfiguration
Society’s increasing dependence on software-intensive systems is driving the need for dependable, robust, continuously available systems. Runtime system reconfiguration is one a...
Peyman Oreizy, Richard N. Taylor
IJMMS
1998
94views more  IJMMS 1998»
13 years 7 months ago
Towards situated knowledge acquisition
Situated cognition is not a mere philosophical concern: it has pragmatic implications for current practice in knowledge acquisition. Tools must move from being design-focused to b...
Tim Menzies
ISOLA
2010
Springer
13 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
DEBU
2002
116views more  DEBU 2002»
13 years 7 months ago
The Role of Web Services in Information Search
State-of-the-art Web search engines are inherently limited in their abilities to search information in Deep Web beyond portals. This paper discusses how Web services and Semantic-...
Jens Graupmann, Gerhard Weikum