1116 search results - page 119 / 224 » Applying Predicate Abstraction to Abstract State Machines |
MLMI
2004
Springer
15 years 4 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper presents a generalized Model Predictive Direct Torque Control scheme with an extended horizon, which is composed of multiple hinges (groups of switch transit...
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
APN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...