6054 search results - page 931 / 1211 » Implementation of Andorra-based Languages |
131
click to vote
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
166
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
162
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
166
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
290
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...