6978 search results - page 1162 / 1396 » On Proofs in System P |
166
click to vote
BROADNETS
2007
IEEE
16 years 1 months 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...
176
click to vote
EDOC
2007
IEEE
16 years 1 months 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...
179
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Interorganizational knowledge sharing is critical to knowledge intensive collaborations between organizations. Despite a proliferation of literature on knowledge sharing, most stu...
165
click to vote
ICEIS
2007
IEEE
16 years 1 months 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...
155
click to vote
ICRA
2007
IEEE
16 years 1 months 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,...