7720 search results - page 468 / 1544 » A Model for Interface Groups |
172
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
172
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
184
click to vote
ARCS
2004
Springer
16 years 8 days ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
202
click to vote
SEW
2003
IEEE
16 years 4 days ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
223
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Recent outbreaks of virus and worm attacks targeted at cell phones have have bought to the forefront the seriousness of the security threat to this increasingly popular...