Sciweavers

4737 search results - page 695 / 948
» The LOGIC negotiation model
Sort
View
ER
2004
Springer
79views Database» more  ER 2004»
16 years 20 days ago
Towards the Managment of Time in Data-Intensive Web Sites
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
Paolo Atzeni, Pierluigi Del Nostro
FSTTCS
2004
Springer
16 years 20 days ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer
CIA
2003
Springer
16 years 15 days ago
Organisational Change: Deliberation and Modification
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
Catholijn M. Jonker, Martijn C. Schut, Jan Treur
DAWAK
2003
Springer
16 years 15 days ago
Designing Web Warehouses from XML Schemas
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
Boris Vrdoljak, Marko Banek, Stefano Rizzi
FPL
2003
Springer
95views Hardware» more  FPL 2003»
16 years 15 days ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari