1622 search results - page 70 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
138
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Due to many success stories, social software received much attention in public and academia. Although it is widely used for business support, its relationship with business proces...
111
Voted
KBSE
2010
IEEE
15 years 12 days ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
133
Voted
ICFEM
2009
Springer
15 years 7 days ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
140
click to vote
SIGMOD
1993
ACM
15 years 6 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
142
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...