Sciweavers

6047 search results - page 240 / 1210
» Modeling with Extend
Sort
View
ICSE
2004
IEEE-ACM
15 years 9 months ago
Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Danie...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 9 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
IFIP
1994
Springer
15 years 8 months ago
Modeling Motion Simulation with DEDS
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
J. T. F. Camargo, Léo Pini Magalhães...
ATAL
2006
Springer
15 years 7 months ago
On the response of EMT-based control to interacting targets and models
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
Zinovi Rabinovich, Jeffrey S. Rosenschein
CEAS
2006
Springer
15 years 7 months ago
Modeling Identity in Archival Collections of Email: A Preliminary Study
Access to historically significant email archives poses challenges that arise less often in personal collections. Most notably, searchers may need help making sense of the identit...
Tamer Elsayed, Douglas W. Oard