4418 search results - page 372 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
157
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
The aim of dynamic reconfiguration is to allow a system to evolve incrementally from one configuration to another at run-time, without restarting it or taking it offline. In recen...
171
click to vote
GROUP
2005
ACM
16 years 10 days ago
2005
ACM
Shared workspace systems provide virtual places for selforganized and semi-structured cooperation between local and distributed team members. These cooperation systems have been a...
194
Voted
CONTEXT
2003
Springer
16 years 16 hour ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
165
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Distributed multimedia documents systems, distributed video servers are examples of multimedia presentations involving collaboration among multiple information sources. In such ap...
188
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...