3868 search results - page 185 / 774 » Open Systems in TLA |
176
click to vote
SAT
2004
Springer
16 years 12 days ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
283
click to vote
AMKM
2003
Springer
16 years 9 days ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
146
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Fall COMDEX was the center of numerous showings of new tape technologies offering significant increases in tape capacity and performance. Of interest to users of midrange tape tec...
152
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Wepresent an algorithm which renders opaque andor translucent polygons embedded within volumetric data Theprocessing occurs such thai all objects are composited in the correct ord...
180
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Free and open source software is more and more used for software developments on UNIX systems. We are proposing a solution to control the deployment of free software in the context...