1824 search results - page 92 / 365 » interfaces 2006 |
ENTCS
2006
13 years 9 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
CAISE
2006
Springer
14 years 22 days ago
2006
Springer
Trust emerges from interaction. If trust in information systems is to be promoted, then attention must be directed, at least in part, to interaction design. This presentation will ...
ACL
2006
13 years 10 months ago
2006
A resource grammar is a standard library for the GF grammar formalism. It raises the abstraction level of writing domainspecific grammars by taking care of the general grammatical...
UIST
2006
ACM
14 years 3 months ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
BIRTHDAY
2006
Springer
14 years 22 days ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...