242 search results - page 29 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
ICTAI
2005
IEEE
15 years 5 months ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
107
click to vote
ECWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
100
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
101
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...