4061 search results - page 593 / 813 » Framework Evolution Tool |
222
Voted
EMSOFT
2005
Springer
16 years 19 days 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...
198
Voted
EUC
2005
Springer
16 years 19 days 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...
194
Voted
FASE
2005
Springer
16 years 19 days 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...
155
click to vote
ICALP
2005
Springer
16 years 19 days 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...
188
click to vote
ITRUST
2005
Springer
16 years 18 days 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...