5414 search results - page 720 / 1083 » Exploratory Model Building |
161
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
177
Voted
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
180
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
174
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
158
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...