1676 search results - page 171 / 336 » Formal System Development with KIV |
169
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
149
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
Web Services are increasingly being used to create a wide range of distributed systems, many of which involve legacy software. Developing service interfaces for these legacy syste...
185
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
158
click to vote
WICSA
2004
15 years 7 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
155
click to vote
UC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...