4255 search results - page 305 / 851 » Database: Models, Languages, Design |
205
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
181
click to vote
APCCM
2006
15 years 8 months ago
2006
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
184
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
“A pattern ... describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can us...
180
click to vote
ASM
2010
ASM
16 years 4 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
197
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...