Sciweavers

4286 search results - page 83 / 858
» Formalizing Service Interactions
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 months ago
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
A holy grail of component-based software engineering is "write-once, reuse everywhere". However, in modern distributed, component-based systems supporting emerging appli...
Eric Wohlstadter, Stefan Tai, Thomas A. Mikalsen, ...
ICPR
2002
IEEE
16 years 7 months ago
Object Recognition Supported by User Interaction for Service Robots
This paper describes an interactive vision system for a robot that finds an object specified by a user and brings it to the user. The system first registers object models automati...
Yasushi Makihara, Masao Takizawa, Yoshiaki Shirai,...
DSVIS
2005
Springer
15 years 11 months ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 11 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
ENTCS
2006
135views more  ENTCS 2006»
15 years 6 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott