Sciweavers

3207 search results - page 468 / 642
» A Semantics for HTN Methods
Sort
View
VLDB
1992
ACM
129views Database» more  VLDB 1992»
15 years 10 months ago
Extensible Buffer Management of Indexes
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...
Chee Yong Chan, Beng Chin Ooi, Hongjun Lu
APLAS
2007
ACM
15 years 10 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
GIR
2007
ACM
15 years 10 months ago
Visualization of geographic query results for small screen devices
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
Maria Beatriz Carmo, Ana Paula Afonso, Paulo Pombi...
HT
2007
ACM
15 years 10 months ago
An agile hypertext design methodology
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan,...
BPM
2006
Springer
119views Business» more  BPM 2006»
15 years 10 months ago
Business Process Design by View Integration
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
Jan Mendling, Carlo Simon