Sciweavers

1872 search results - page 123 / 375
» A Framework for the Simulation of Web Applications
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 4 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
IEEESCC
2005
IEEE
14 years 3 months ago
SOA Without Web Services: a Pragmatic Implementation of SOA for Financial Transactions Systems
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
Ziyang Duan, Subhra Bose, Charles A. Shoniregun, P...
WADT
2004
Springer
14 years 3 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Narciso Martí-Oliet, José Meseguer, ...
MICCAI
2005
Springer
14 years 11 months ago
Simulating Vascular Systems in Arbitrary Anatomies
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
Dominik Szczerba, Gábor Székely
ICWE
2010
Springer
13 years 8 months ago
Modeling Search Computing Applications
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...
Alessandro Bozzon, Marco Brambilla, Alessandro Cam...