6197 search results - page 866 / 1240 » Sandbridge Software Tools |
175
Voted
IICS
2001
Springer
16 years 4 days ago
2001
Springer
Although there are many groupware platforms existing nowadays, collaborative multi-user applications are not yet widely accepted by end-users. In contrast to single-user applicatio...
208
Voted
SPIN
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
206
Voted
DCW
2000
Springer
16 years 1 days ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
207
Voted
ASPDAC
1999
ACM
16 years 21 hour ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
171
Voted
ICFP
1999
ACM
16 years 19 hour ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...