706 search results - page 25 / 142 » An agent-based approach to component management |
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ACMICEC
2007
ACM
14 years 2 months ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
CI
2010
13 years 8 months ago
2010
A growing research community is working towards employing drama management components in story-based games. These components gently guide the story towards a narrative arc that imp...
CSREAESA
2006
14 years 9 days ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
ACSC
2003
IEEE
14 years 4 months ago
2003
IEEE
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...