4418 search results - page 46 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
132
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
171
click to vote
ER
2008
Springer
15 years 7 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
142
click to vote
CSE
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
164
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
125
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...