5200 search results - page 992 / 1040 » Symbolic models for control systems |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
C5
2005
IEEE
14 years 2 months ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
GRAPHITE
2005
ACM
14 years 2 months ago
2005
ACM
Linear perspective is a good approximation to the format in which the human visual system conveys 3D scene information to the brain. Artists expressing 3D scenes, however, create ...
DAMAS
2005
Springer
14 years 2 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...