Sciweavers

5832 search results - page 663 / 1167
» Software complexity and maintainability
Sort
View
QSIC
2005
IEEE
16 years 28 days ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
UIST
2005
ACM
16 years 28 days ago
Physical embodiments for mobile communication agents
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
Stefan Marti, Chris Schmandt
GCC
2005
Springer
16 years 27 days ago
A Proxy-Based Dynamic Inheritance of Soft-Device
Soft-device is a promising infrastructure of next-generation distributed system. Soft-devices are configurable and adaptive software virtual mechanism, providing services to each o...
Jia Bi, Yanyan Li, Yunpeng Xing, Xiang Li, Xue Che...
HPCC
2005
Springer
16 years 27 days ago
A Scalable Framework for the Support of Advanced Edge Services
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
Michele Colajanni, Raffaella Grieco, Delfina Malan...
VMCAI
2005
Springer
16 years 25 days ago
Information Flow Analysis for Java Bytecode
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
Samir Genaim, Fausto Spoto