14298 search results - page 2488 / 2860 » Dynamic Languages and Applications |
200
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
189
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
WOLD (Wizard fOr Leveraging the Development of multi-platform user interfaces) helps designers to produce running user interfaces to data bases of information systems simultaneous...
158
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
185
click to vote
PPOPP
1997
ACM
15 years 11 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
160
click to vote
ECBS
1996
IEEE
15 years 11 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...