1672 search results - page 282 / 335 » On the Development of Software Product-Family Components |
100
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
104
click to vote
ETRA
2006
ACM
15 years 7 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
101
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
As the usage of Web Services proliferates dramatically, new tools to help quickly generate web services are needed. In this paper, we propose a methodology that helps to automatic...
116
click to vote
WISE
2003
Springer
15 years 6 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step, to that end, is service discovery, i.e....
112
click to vote
CIKM
1999
Springer
15 years 5 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...