Sciweavers

29143 search results - page 72 / 5829
» A Sortation System Model
Sort
View
IPPS
2003
IEEE
14 years 2 months ago
Trust Modeling for Peer-to-Peer Based Computing Systems
The peer-to-peer approach to design large-scale systems has significant benefits including scalability, low cost of ownership, robustness, and ability to provide site autonomy. ...
Farag Azzedin, Muthucumaru Maheswaran
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 7 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
PVLDB
2010
82views more  PVLDB 2010»
13 years 7 months ago
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable di...
Irina Botan, Roozbeh Derakhshan, Nihal Dindar, Lau...
FASE
2010
Springer
14 years 3 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
COMPSAC
2009
IEEE
14 years 3 months ago
Integrating System Modeling with Project Management - A Case Study
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
Jonas Helming, Jörn David, Maximilian Koegel,...