14169 search results - page 226 / 2834 » Tabular application development |
152
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
124
Voted
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
117
Voted
PERCOM
2003
ACM
16 years 2 months ago
2003
ACM
Abstract. We present our results of the conceptual design and the implementation of ubiquitous computing applications using smart identification technologies. First, we describe su...
104
Voted
ICITA
2005
IEEE
15 years 8 months ago
2005
IEEE
With the increasing popularity of mobile computing platforms such as personal digital assistants (PDAs) and smart mobile phones, applications originally designed for higherperform...
131
Voted
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...