5334 search results - page 46 / 1067 » Communicating quantum processes |
127
click to vote
JSAC
2010
15 years 12 days ago
2010
Abstract—Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. Such platforms use inertial information of their...
136
click to vote
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The Agile Web Engineering (AWE) Process is an agile or lightweight process that has been created to tackle the challenges that have been identified in Web engineering: sh...
126
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
WSC
2007
15 years 4 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
117
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...