4166 search results - page 708 / 834 » Automating the constraining process |
105
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
104
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
124
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
115
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Internet has made transfer of knowledge of successful community development programs and processes possible by allowing practitioners to connect through computer-mediated-comm...
133
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...