926 search results - page 135 / 186 » Prolog as the First Programming Language |
130
click to vote
WSC
2007
15 years 4 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
142
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
109
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
112
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
130
Voted
PODS
2008
ACM
16 years 2 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...