56 search results - page 11 / 12 » Compositional Algorithms for LTL Synthesis |
RE
2004
Springer
14 years 21 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
GECCO
2010
Springer
13 years 7 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...
ERCIM
2007
13 years 7 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...