5203 search results - page 808 / 1041 » An approach to workflow modeling and analysis |
182
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
152
click to vote
ESCIENCE
2006
IEEE
16 years 20 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
153
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
193
Voted
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
169
click to vote
VLSID
2005
IEEE
16 years 6 days ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...