1926 search results - page 271 / 386 » Modeling and Model Checking Software Product Lines |
107
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...
144
click to vote
IADIS
2003
15 years 5 months ago
2003
The purpose of this paper is to present a high-level discussion based on ongoing research with the aim of providing support to educational practitioners based on real shareability...
139
click to vote
WSC
2000
15 years 5 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
139
click to vote
IEPOL
2006
15 years 4 months ago
2006
Broadband access provides users with high speed, always-on connectivity to the Internet. Due to its superiority, broadband is seen as the way for consumers and firms to exploit th...
153
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...