3765 search results - page 318 / 753 » Formal Methods for Systems Engineering Behavior Models |
193
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
218
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
154
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
156
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— It has been observed that the TCP-RED system may exhibit instability and oscillatory behavior. Control methods proposed in the past have been based on the analytical models tha...
177
click to vote
DOOD
1995
Springer
15 years 10 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...