4061 search results - page 593 / 813 » Framework Evolution Tool |
195
click to vote
EMSOFT
2005
Springer
16 years 1 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...
182
click to vote
EUC
2005
Springer
16 years 1 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...
181
click to vote
FASE
2005
Springer
16 years 1 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...
142
click to vote
ICALP
2005
Springer
16 years 1 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...
167
click to vote
ITRUST
2005
Springer
16 years 12 hour 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...