Sciweavers

1446 search results - page 69 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
VEE
2006
ACM
142views Virtualization» more  VEE 2006»
15 years 8 months ago
Secure and practical defense against code-injection attacks using software dynamic translation
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
Wei Hu, Jason Hiser, Daniel Williams, Adrian Filip...
130
Voted
FPL
2009
Springer
115views Hardware» more  FPL 2009»
15 years 7 months ago
Recursion in reconfigurable computing: A survey of implementation approaches
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
Iouliia Skliarova, Valery Sklyarov
SOSYM
2010
119views more  SOSYM 2010»
14 years 9 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler
ECAIW
1994
Springer
15 years 6 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
TMRA
2005
Springer
15 years 8 months ago
tolog - A Topic Maps Query Language
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
Lars Marius Garshol