9015 search results - page 418 / 1803 » Using Structural Computing to Support Information Integratio... |
200
click to vote
ISAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
161
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Middle and high-school science teachers have traditionally introduced current events in the classroom to leverage news topics relevant to the curriculum, such as the Sumatra Tsuna...
169
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
183
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
The original SenseMaker interface for information exploration [2] used tables to present heterogeneous document descriptions. In contrast, printed bibliographies and World Wide We...
166
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present an IRTL (Information Resource Transaction Layer) middleware architecture that addresses some of the important technical challenges associated with heterog...