Sciweavers

158 search results - page 11 / 32
» Towards Multiple Access in Generic Component Architectures
Sort
View
ATAL
1999
Springer
14 years 21 days ago
Towards a Distributed, Environment-Centered Agent Framework
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
John R. Graham, Keith Decker
TPHOL
2007
IEEE
14 years 2 months ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
WCRE
2003
IEEE
14 years 1 months ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis
ISLPED
1998
ACM
86views Hardware» more  ISLPED 1998»
14 years 20 days ago
The energy complexity of register files
Register files (RF) represent a substantial portion of the energy budget in modern processors, and are growing rapidly with the trend towards wider instruction issue. The actual ...
Victor V. Zyuban, Peter M. Kogge
ICNS
2007
IEEE
14 years 2 months ago
Towards System-level Optimization for High Performance Unified Threat Management
To build holistic protection against complex and blended network threats, multiple security features need to be integrated into a unified security architecture, which requires in ...
Yaxuan Qi, Baohua Yang, Bo Xu, Jun Li