Sciweavers

1817 search results - page 196 / 364
» Extensive Games as Process Models
Sort
View
124
Voted
LSSC
2001
Springer
15 years 8 months ago
An Improved Monte Carlo Algorithm for Elastic Electron Backscattering from Surfaces
The problen of the backscattering of electrons from metal targets is subject of extensive theoreticel and experimental work in surface analysis. We are interested in the angular di...
Ivan Dimov, Emanouil I. Atanassov, Mariya K. Durch...
106
Voted
SIGCOMM
1999
ACM
15 years 7 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
SP
1997
IEEE
106views Security Privacy» more  SP 1997»
15 years 7 months ago
Secure Software Architectures
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschne...
123
Voted
ACMSE
2006
ACM
15 years 7 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
147
Voted
ISSE
2007
15 years 3 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...