1524 search results - page 86 / 305 » Operational Semantics of Hybrid Systems |
114
click to vote
CONCUR
2001
Springer
15 years 2 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...
HICSS
2009
IEEE
15 years 4 months 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...
UM
2007
Springer
15 years 4 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...
AAMAS
2007
Springer
14 years 10 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...
JFPLC
1998
14 years 11 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...