179 search results - page 11 / 36 » The Three Dimensional Logic Engine |
AMDO
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
VISSOFT
2005
IEEE
14 years 29 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
ICFEM
2010
Springer
13 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...