Sciweavers

4286 search results - page 83 / 858
» Formalizing Service Interactions
Sort
View
106
Voted
ICSE
2004
IEEE-ACM
16 years 2 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, ...
90
Voted
ICPR
2002
IEEE
16 years 3 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,...
110
Voted
DSVIS
2005
Springer
15 years 8 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 8 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
126
Voted
ENTCS
2006
135views more  ENTCS 2006»
15 years 2 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