2586 search results - page 331 / 518 » Automatic Abstraction for Congruences |
155
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
d hardware design from behavior-level abstraction has drawn wide interest in FPGA-based acceleration and configurable computing research field. However, for many high-level progra...
178
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—The evolution towards cross-organizational collaboration and interaction patterns has led to the emergence of scalable, Web services-based composition infrastructures. T...
170
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
149
click to vote
PERVASIVE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications...
176
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...