3828 search results - page 387 / 766 » Proof-Based System Engineering Using a Virtual System Model |
198
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
154
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
180
click to vote
RISE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
238
click to vote
CIDR
2009
15 years 7 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
189
click to vote
EWSA
2004
Springer
16 years 4 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...