1746 search results - page 265 / 350 » A Constructive Semantics for ALC |
194
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
An increasing number of databases have become Web accessible through HTML form-based search interfaces. The data units returned from the underlying database are usually encoded in...
102
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
93
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
72
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
With the proliferation of data APIs, it is not uncommon that users who have no clear ideas about data APIs will encounter difficulties to build Mashups to satisfy their requiremen...
105
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel iterative searching and refining prototype for tagged images. This prototype, named PivotBrowser, captures semantically similar tag sets in a structure called p...