4890 search results - page 413 / 978 » From system specifications to component behavioral models |
170
click to vote
SIGOPSE
2004
ACM
16 years 14 days ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
232
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Information flows in a network where individuals influence each other. The diffusion rate captures how efficiently the information can diffuse among the users in the network. We p...
205
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
196
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
199
click to vote
BIRTHDAY
2005
Springer
16 years 18 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...