Sciweavers

1560 search results - page 5 / 312
» interfaces 2010
Sort
View
JSCIC
2010
58views more  JSCIC 2010»
13 years 4 months ago
Revisiting and Extending Interface Penalties for Multi-domain Summation-by-Parts Operators
Mark H. Carpenter, Jan Nordström, David I. Go...
ENTCS
2010
99views more  ENTCS 2010»
13 years 10 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio