1524 search results - page 86 / 305 » Operational Semantics of Hybrid Systems |
219
Voted
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
123
click to vote
HICSS
2009
IEEE
16 years 3 days ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
143
click to vote
UM
2007
Springer
15 years 11 months ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
138
click to vote
AAMAS
2007
Springer
15 years 5 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
160
click to vote
JFPLC
1998
15 years 6 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...