Sciweavers

3724 search results - page 504 / 745
» Timed regular expressions
Sort
View
170
Voted
CHI
1993
ACM
15 years 10 months ago
ADEPT: Advanced Design Environment for Prototyping with Task Models
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
Peter Johnson, Stephanie Wilson, Panos Markopoulos...
ECOOP
1993
Springer
15 years 10 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
ASPDAC
2006
ACM
176views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Closed form solution for optimal buffer sizing using the Weierstrass elliptic function
Abstract-- This paper presents a fundamental result on buffer sizing. Given an interconnection wire with n buffers evenly spaced along the wire, we would like to size all buffers s...
Sebastian Vogel, Martin D. F. Wong
EDBTW
2006
Springer
15 years 10 months ago
ActiveXQBE: A Visual Paradigm for Triggers over XML Data
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
Daniele Braga, Alessandro Campi, Davide Martinengh...
OHS
2000
Springer
15 years 10 months ago
Experiences with OHP and Issues for the Future
Abstract. The OHSWG has by now moved from specifications to running code. This is an important step, not only because this is the only way of maturing the specifications, but also ...
Niels Olof Bouvin