10790 search results - page 1876 / 2158 » Using feature models to automate model transformations |
182
click to vote
APN
2007
Springer
16 years 21 days ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
162
click to vote
SOCO
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
162
click to vote
FCCM
2006
IEEE
16 years 18 days ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
174
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
146
click to vote
COMPSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
Mobile agent systems have many attractive features including asynchrony, openness, dynamicity and anonymity, which makes them indispensable in designing complex modern application...