6719 search results - page 1172 / 1344 » A Generalization of Automatic Sequences |
133
Voted
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
140
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
114
click to vote
SIGSOFT
2002
ACM
16 years 5 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 ...
128
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
134
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...