2409 search results - page 431 / 482 » Logical systems for structured specifications |
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
ISSRE
2002
IEEE
14 years 2 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
APCHI
1998
IEEE
14 years 2 months ago
1998
IEEE
The fundamental challenge for computational media is to contribute to the invention and design of cultures in which humans can express themselves and engage in personally meaningf...
AIMSA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...