5863 search results - page 940 / 1173 » On Model-Checking of P Systems |
168
click to vote
HAPTICS
2005
IEEE
16 years 6 days ago
2005
IEEE
Manual pronuclei injection and intracytoplasmic sperm injection (ICSI) requires long training and has low success rates primarily due to poor control over the injection force. Con...
169
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
Location technologies allow employers to monitor the location of employees. The technologies range from global positioning systems able to determine outdoor locations worldwide to...
171
click to vote
APLAS
2005
ACM
16 years 4 days ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
170
click to vote
SIGECOM
2005
ACM
16 years 4 days ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
162
click to vote
SPAA
2005
ACM
16 years 4 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...