5863 search results - page 926 / 1173 » On Model-Checking of P Systems |
197
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...
165
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
183
click to vote
TOMS
1998
15 years 6 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
199
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
206
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...