123 search results - page 25 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
111
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
111
click to vote
FGCS
2007
14 years 11 months ago
2007
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...
100
click to vote
AIIDE
2008
15 years 1 months ago
2008
Artificial intelligence in games is typically used for creating player's opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cum...