6201 search results - page 999 / 1241 » Implementation of Axiomatic Language |
163
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
154
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
214
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect Oriented Programming (AOP) aims to ease maintenance and promote reuse of software components by separating core concerns from crosscutting concerns: aspects of a program th...
187
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Materialized views, a rdbms silver bullet, demonstrate its efficacy in many applications, especially as a data warehousing/decison support system tool. The pivot of playing materia...
176
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...