1879 search results - page 26 / 376 » Extending Reflective Architectures |
WM
2003
14 years 11 months ago
2003
: The business process revolution has had two impacts on project management: the recognition of a process perspective (such as the 39 appearing in the PMBOK), and the acknowledgeme...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
As the technology is shrinking and the working frequency is going into multi gigahertz range, the issues related to interconnect testing are becoming more dominant. Specifically,...
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
PERCOM
2005
ACM
15 years 9 months ago
2005
ACM
The Gaia ubiquitous computing platform currently supports mobile devices through a thin client proxy architecture. Mobile devices run a lightweight proxy client written in J2ME to...