Sciweavers

2722 search results - page 231 / 545
» Automating Language Evolution
Sort
View
DEBU
2000
90views more  DEBU 2000»
15 years 4 months ago
Personal Views for Web Catalogs
Large growth in e-commerce has culiminated in technology boom to enable companies to better serve their consumers. The front-end of the e-commerce business is to better reach the ...
Kajal T. Claypool, Li Chen, Elke A. Rundensteiner
GIS
2010
ACM
15 years 3 months ago
Evaluation of cardinal direction developments between moving points
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
Tao Chen, Hechen Liu, Markus Schneider
122
Voted
WWW
2006
ACM
16 years 5 months ago
DoNet: a semantic domotic framework
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
Malcolm Attard, Matthew Montebello
CADE
2006
Springer
16 years 5 months ago
Specifying and Reasoning About Dynamic Access-Control Policies
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
CADE
2006
Springer
16 years 5 months ago
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
Christian Urban, Stefan Berghofer