2496 search results - page 410 / 500 » Error-detecting properties of languages |
105
click to vote
UIST
2006
ACM
15 years 7 months ago
2006
ACM
We present the Haptic Shading Framework (HSF), a framework for procedurally defining haptic texture. HSF haptic texture shaders are short procedures allowing an application-progr...
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
103
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
118
click to vote
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...