Sciweavers

1963 search results - page 87 / 393
» How is aliasing used in systems software
Sort
View
PDSE
2000
71views more  PDSE 2000»
13 years 11 months ago
Early Evaluation of Design Options for Distributed Systems
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
Holger Giese, Guido Wirtz
ECRTS
2005
IEEE
14 years 3 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
COMSIS
2004
80views more  COMSIS 2004»
13 years 10 months ago
The End of Software Engineering and the Start of Economic-Cooperative Gaming
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...
Alistair Cockburn
ICSEA
2008
IEEE
14 years 4 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
ER
2004
Springer
139views Database» more  ER 2004»
14 years 3 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...