4418 search results - page 79 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
119
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
132
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
148
click to vote
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
143
click to vote
COLCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...
150
Voted
AICCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Ranking documents in a selected corpus plays an important role in information retrieval systems. Despite notable advances in this direction, with continuously accumulating text do...