Sciweavers

323 search results - page 35 / 65
» Aspect-Oriented Programming for Role Models
Sort
View
WSC
1998
13 years 9 months ago
Prototyping Advanced Warfare Gaming Capabilities for the 21st Century Warfighter
The United States Marine Corps has a unique role in development of the next-generation warfare gaming system for command staff training. This system, titled the Joint Simulation S...
Curtis L. Blais
ASIACRYPT
2010
Springer
13 years 5 months ago
Random Oracles with(out) Programmability
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
Marc Fischlin, Anja Lehmann, Thomas Ristenpart, Th...
AMAI
2008
Springer
13 years 7 months ago
Set based logic programming
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
Howard A. Blair, Victor W. Marek, Jeffrey B. Remme...
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
13 years 11 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
HLPPP
1991
13 years 11 months ago
The Chemical Reaction Model
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
Daniel Le Métayer