1728 search results - page 262 / 346 » Formal Modeling of Process Migration |
130
Voted
IJCAI
2001
15 years 2 months ago
2001
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
118
Voted
ENTCS
2008
15 years 22 days ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
108
Voted
FDL
2011
IEEE
14 years 12 days ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
94
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
118
click to vote
IJFCS
2006
15 years 20 days ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...