Sciweavers

3623 search results - page 622 / 725
» Functionally Modeled User Interfaces
Sort
View
FMCAD
2000
Springer
15 years 6 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
BILDMED
2008
15 years 4 months ago
Ein routine-integrierbares Planungswerkzeug zur operativen Rekonstruktion der Orbita
Operative reconstruction of fractured orbital floors must among others ensure equal volumes for left and right sides. In this paper, we present Thomas M. Deserno1 Wei Liao1 a plan...
Melanie Kleiner, Dirk Schulze, Pit Jakob Voss, Tho...
LREC
2008
107views Education» more  LREC 2008»
15 years 4 months ago
Exploring and Navigating: Tools for GermaNet
GermaNet is regarded to be a valuable resource for many German NLP applications, corpus research, and teaching. This demo presents three GUI-based tools meant to facilitate the ex...
Marc Finthammer, Irene M. Cramer
125
Voted
FMOODS
2006
15 years 4 months ago
Mobility Mechanisms in Service Oriented Computing
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
Claudio Guidi, Roberto Lucchi
CAL
2007
15 years 2 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...