4061 search results - page 593 / 813 » Framework Evolution Tool |
159
Voted
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
153
Voted
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
154
Voted
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
122
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
137
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...