14169 search results - page 153 / 2834 » Tabular application development |
SEM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
ISMIS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
LCTRTS
2001
Springer
14 years 2 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
AISC
2010
Springer
14 years 1 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...