893 search results - page 142 / 179 » Modeling reactive systems in Java |
196
Voted
ECSA
2011
Springer
14 years 2 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
137
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
155
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
112
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
126
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...