4211 search results - page 694 / 843 » A formal approach to MASQ |
191
click to vote
WISE
2008
Springer
16 years 26 days ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
150
click to vote
APSEC
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
148
click to vote
CBMS
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper focuses on the problem of representing, in a meaningful way, the knowledge involved in the HealthAgents project. Our work is motivated by the complexity of representing...
179
click to vote
CIDM
2007
IEEE
16 years 25 days ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
194
click to vote
CSFW
2007
IEEE
16 years 25 days ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...