3971 search results - page 120 / 795 » On the Use of Properties in Java Applications |
154
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
156
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
161
Voted
SIGMETRICS
2005
ACM
15 years 10 months ago
2005
ACM
Network service providers and customers are often concerned with aggregate performance measures that span multiple network paths. Unfortunately, forming such network-wide measures ...
168
click to vote
POPL
2012
ACM
14 years 14 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
133
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...