Sciweavers

1076 search results - page 144 / 216
» Feature Identification: A Novel Approach and a Case Study
Sort
View
102
Voted
QUATIC
2007
IEEE
15 years 7 months ago
Towards Paradigm-Independent Software Assessment
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
Sergio Bryton, Fernando Brito e Abreu
CAISE
2010
Springer
15 years 1 months ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
JOT
2008
200views more  JOT 2008»
15 years 18 days ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri
ORI
2008
69views more  ORI 2008»
15 years 17 days ago
Markov chain applications in the slot machine industry
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...
Noelia Oses
124
Voted
BMCBI
2005
100views more  BMCBI 2005»
15 years 15 days ago
Speeding disease gene discovery by sequence based candidate prioritization
Background: Regions of interest identified through genetic linkage studies regularly exceed 30 centimorgans in size and can contain hundreds of genes. Traditionally this number is...
Euan A. Adie, Richard R. Adams, Kathryn L. Evans, ...