Sciweavers

7202 search results - page 394 / 1441
» Software System Engineering: A Tutorial
Sort
View
COMPSAC
2005
IEEE
16 years 14 days ago
RIES - Internet Voting in Action
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
Engelbert Hubbers, Bart Jacobs, Wolter Pieters
VMCAI
2004
Springer
16 years 5 days ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
FATES
2006
Springer
15 years 10 months ago
Hybrid Input-Output Conformance and Test Generation
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
Michiel van Osch
PVLDB
2010
163views more  PVLDB 2010»
15 years 5 months ago
Event Processing - past, present and future
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
Opher Etzion
WOSP
2010
ACM
15 years 7 months ago
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
Anne Martens, Heiko Koziolek, Steffen Becker, Ralf...