Sciweavers

1752 search results - page 26 / 351
» Application Specific Processing: A Tools Approach
Sort
View
GI
2009
Springer
13 years 5 months ago
A web service based approach for integrating statistics tools into an information system for experiment data
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
Dennis Heimann, Jens Nieschulze, Birgitta Kön...
OOPSLA
2010
Springer
13 years 5 months ago
Composable specifications for structured shared-memory communication
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan G...
IPPS
2000
IEEE
13 years 12 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
ENTCS
2002
115views more  ENTCS 2002»
13 years 7 months ago
Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
Thaís Vasconcelos Batista, Milano Gadelha C...
DEXA
2008
Springer
176views Database» more  DEXA 2008»
13 years 9 months ago
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
Lucinéia Heloisa Thom, Manfred Reichert, Ca...