429 search results - page 2 / 86 » How Much Language Is Enough |
TOOLS
1998
IEEE
13 years 9 months ago
1998
IEEE
NLDB
2005
Springer
13 years 10 months ago
2005
Springer
Requirements engineering is the Achilles’ heel of the whole software development process, because requirements documents are often inconsistent and incomplete. Misunderstandings ...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
FPCA
1995
13 years 8 months ago
1995
Lenient languages, such as Id90, have been touted as among the best functional languages for massively parallel machines AHN88]. Lenient evaluation combines non-strict semantics w...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Low-latency anonymity systems such as Tor, AN.ON, Crowds, and Anonymizer.com aim to provide anonymous connections that are both untraceable by “local” adversaries who control ...