Sciweavers

627 search results - page 4 / 126
» Modular Concurrency - A New Approach to Manageable Software
Sort
View
JCSC
1998
159views more  JCSC 1998»
13 years 8 months ago
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
A. Newman, Sol M. Shatz, X. Xie
ICFEM
2010
Springer
13 years 7 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
ATAL
2006
Springer
14 years 9 days ago
Goal-oriented modularity in agent programming
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
AVI
2000
13 years 10 months ago
A Modular Approach for Exploring the Semantic Structure of Technical Document Collections
The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...
Andreas Becks, Stefan Sklorz, Matthias Jarke
ERLANG
2003
ACM
14 years 1 months ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...