13099 search results - page 2510 / 2620 » Cooperative method development |
ESEC
1999
Springer
14 years 12 days ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...
RTCSA
1999
IEEE
14 years 12 days ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
FMLDO
1999
Springer
14 years 12 days ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
VR
1999
IEEE
14 years 12 days ago
1999
IEEE
The study of human-computer interaction within immersive virtual environments requires us to balance what we have learned from the design and use of desktop interfaces with novel ...
ACSAC
1998
IEEE
14 years 12 days ago
1998
IEEE
System protection mechanisms such as access controls can be fooled by authorized but malicious users, masqueraders, and misfeasors. Intrusion detection techniques are therefore us...