410 search results - page 65 / 82 » Tools for System Validation with B Abstract Machines |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
AIIDE
2008
13 years 10 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...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
VLDB
2008
ACM
14 years 8 months ago
2008
ACM
Abstract In this paper we propose an extensible architecture for database engines where satellite databases are used to scale out and implement additional functionality for a centr...
MCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. One of the most widely applied techniques to deal with multiclass categorization problems is the pairwise voting procedure. Recently, this classical approach has been emb...