4460 search results - page 113 / 892 » Formal methods for interactive systems |
NOSSDAV
2005
Springer
15 years 3 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
104
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
ISUVR
2007
14 years 11 months ago
2007
—Hand interface is well known for its intuition and convenience. User can use their real hands to interact with the system without any assistant device. In this paper, we propose...
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...