Sciweavers

657 search results - page 64 / 132
» Recovering architectural assumptions
Sort
View
ICCAD
2005
IEEE
105views Hardware» more  ICCAD 2005»
15 years 8 months ago
Weighted control scheduling
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
Aravind Vijayakumar, Forrest Brewer
CARDIS
2000
Springer
104views Hardware» more  CARDIS 2000»
15 years 4 months ago
Webcard: a Java Card Web Server
Webcard is a TCP/IP stack and web server written in Java that runs on a Schlumberger Cyberflex Access smartcard. In this report, we describe the architecture and implementation of...
Jim Rees, Peter Honeyman
CBSE
2004
Springer
15 years 3 months ago
Viewpoints for Specifying Component-Based Systems
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
Gerald Kotonya, John Hutchinson
AUSAI
2006
Springer
15 years 3 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
ECTEL
2006
Springer
15 years 3 months ago
CELEBRATE's Lessons
The CELEBRATEproject developed and successfully demonstrated a federated learning object brokerage system architecture and made available to schools over 1350 learning objects prod...
David Massart