13734 search results - page 372 / 2747 » Abstractions of data types |
150
click to vote
IVS
2007
15 years 6 months ago
2007
Networks have remained a challenge for information retrieval and visualization because of the rich set of tasks that users want to accomplish. This paper n abstract Content-Actor ...
201
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
197
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...
185
click to vote
MDM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
140
click to vote
CLEF
2000
Springer
15 years 11 months ago
2000
Springer
HyREX is the Hypermedia Retrieval Engine for XML. Its extensibility is based on the implementation of physical data independence; its query interface on the conceptual level consis...