7380 search results - page 413 / 1476 » Engineering Software Intensive Systems |
105
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
132
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
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...
114
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
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...
145
click to vote
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
117
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...