Sciweavers

3294 search results - page 191 / 659
» Taxonomy of Process Modeling Languages
Sort
View
139
Voted
RP
2009
Springer
110views Control Systems» more  RP 2009»
15 years 10 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
136
Voted
MODELS
2010
Springer
15 years 1 months ago
Capturing the Intention of Model Changes
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
Patrick Könemann
155
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
133
Voted
ISPW
2006
IEEE
15 years 9 months ago
Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lor...
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
15 years 8 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...