5243 search results - page 974 / 1049 » Reasoning About Strategies |
179
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
261
click to vote
ICDT
2009
ACM
16 years 6 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
168
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Current industry standards for describing Web Services are focused on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the u...
181
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
159
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...