308 search results - page 31 / 62 » Modular Verification of Interactive Systems with an Applicat... |
WSC
2008
13 years 9 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
BMCBI
2011
13 years 2 months ago
2011
Background: The amount of data on protein-protein interactions (PPIs) available in public databases and in the literature has rapidly expanded in recent years. PPI data can provid...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...