Sciweavers

3425 search results - page 149 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
105
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
143
Voted
ISORC
2007
IEEE
15 years 10 months ago
An Approach to Automated Agent Deployment in Service-Based Systems
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan G...
127
Voted
SIGIR
2006
ACM
15 years 9 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
TEI
2009
ACM
100views Hardware» more  TEI 2009»
15 years 10 months ago
Decoupling interaction hardware design using libraries of reusable electronics
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...
Rajesh Sankaran, Brygg Ullmer, Jagannathan Ramanuj...
138
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...