1926 search results - page 153 / 386 » Modeling and Model Checking Software Product Lines |
159
click to vote
KRDB
1994
15 years 7 months ago
1994
This paper presents, fromthe author's perspective, the problems that occur in practice during data modelling. The author's experiences are a result of a considerable num...
143
click to vote
IEPOL
2006
15 years 6 months ago
2006
This paper develops a simple model of software piracy to analyze the short-run effects of piracy on software usage and the long-run effects on development incentives. We consider ...
185
click to vote
SEUS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
180
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
165
click to vote
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...