1153 search results - page 166 / 231 » Compositional Specification Calculus for Information Systems... |
149
click to vote
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
133
Voted
ICAI
2008
15 years 5 months ago
2008
Intrusion detection is an active research field in the development of reliable web-based information systems, where many artificial intelligence techniques are exploited to fit th...
133
Voted
JCP
2008
15 years 3 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
116
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
165
click to vote
JAISE
2010
14 years 10 months ago
2010
In this paper we review the emerging field of responsive environments as an ambient intelligence system with a focus on user experience. We see responsive environments as a combina...