3676 search results - page 581 / 736 » Scalable component abstractions |
113
Voted
SAINT
2005
IEEE
15 years 6 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
94
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
83
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
WWW
2005
ACM
15 years 6 months ago
2005
ACM
In this poster, we present an information extraction engine for web-based forums. The engine analyzes the HTML files crawled from web forums, deduces the wrapper (template) of the...
73
Voted
ACII
2005
Springer
15 years 6 months ago
2005
Springer
There is a great variety of theoretical models of emotions and implementation technologies which can be used in the design of affective computers. Consequently, designers and resea...