15777 search results - page 2931 / 3156 » Software Engineering |
140
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
174
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
125
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
134
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
108
click to vote
MSR
2010
ACM
15 years 9 months ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...