Sciweavers

1105 search results - page 81 / 221
» Performance Engineering Models of CORBA-based Distributed-Ob...
Sort
View
129
Voted
COLING
2002
15 years 2 months ago
Searching the Web by Voice
Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...
Alexander Franz, Brian Milch
108
Voted
ASM
2008
ASM
15 years 4 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
145
Voted
VR
2008
IEEE
120views Virtual Reality» more  VR 2008»
15 years 2 months ago
Force modeling for tooth preparation in a dental training system
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
Guanyang Liu, Yuru Zhang, William T. Townsend
COMPSAC
1998
IEEE
15 years 6 months ago
M-base: Enduser-Initiative Application Development Based on Message Flow and Componentware
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
Takeshi Chusho, Mitsuyoshi Matsumoto, Yuji Konishi
132
Voted
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
15 years 11 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...