5863 search results - page 936 / 1173 » On Model-Checking of P Systems |
163
click to vote
BROADNETS
2007
IEEE
16 years 28 days ago
2007
IEEE
—Packet based wireless networks have provided high data rates, and the desire for ubiquitous wireless computing is growing rapidly. To accommodate these demands, wireless systems...
173
click to vote
EDOC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
178
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Interorganizational knowledge sharing is critical to knowledge intensive collaborations between organizations. Despite a proliferation of literature on knowledge sharing, most stu...
162
click to vote
ICEIS
2007
IEEE
16 years 27 days ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
152
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...