维普期刊资源整合服务平台（V6.5）

50篇 您的检索式：作者名="Shatz S"

选中清除导出查看参考文献查看引证文献引用追踪共3页首页上一页第1页下一页末页 /3 跳转

	题名	作者	年代	出处	被引量
1	An agent-based Petri net model with application to seller/buyer design in electronic commerce显示文摘	Xu H Shatz S	2001	In: Proceedings of the fifth international symposium on autonomous decentralized systems2001，，5：	1
2	Task allocation for maximizing reliability of distributed computer systems 显示文摘	Shatz S M Wang J P Goto M	1992	IEEE Transactions on Computers1992，41，9：	1
3	Task allocation for maximizing reliability of distributed computer systems 显示文摘	SHATZ S M WANG J P GOTO M	1992	IEEE Trans on Computers1992，41，9：	1
4	Detection of ada static deadlocks using Petri net invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
5	Task allocation for maximizing reliability of distributed computer systems显示文摘	SHATZ S M WANG J P GOTO M		0，，09：	1
6	Design and implementation of a Petri net-based toolkit for Ada tasking analysis显示文摘	Shatz S M Mai K Blaek C	1990	IEEE Trans Parall Distrlb Syst1990，1，4：	1
7	Endoscopic findings in children with obstructive sleep apnea:Effects of age and hypotonia显示文摘	Goldberg S Shatz A Picard E Wexler I Schwartz S Swed E	2005	Pediatr Pulmonol2005，40，3：	1
8	A framework for Model-Based Design o f Agent-Oriented Software 显示文摘	S M Shatz A B Smith	2003	IEEE Transactions on Software Engineering2003，29，1：	1
9	Selective vulnerability of subplate neurons after early neonatal hypoxla-ischemia 显示文摘	McQuillen P S Sheldon R A Shatz C J	2003	J Neurosci2003，23，8：	1
10	Regulation of class Ⅰ MHC gene expression in the developing and mature CNS by neural activity显示文摘	CORRIVEAU R A HUH G S SHATZ C J	1998	Neuron1998，21，3：	1
11	Formalization of object behavior and interactions from UML models显示文摘	SALDHANA J A SHATZ S M HU Z	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，6：	1
12	Rapid regulation of brain-derived neurotrophic factor mRNA within eye-specific circuits during ocular dominance column formation显示文摘	LEIN E S SHATZ C J	2000	J Neurosci2000，20，：	1
13	Task allocation for maximizing reliability of distributed computer systems显示文摘	SHATZ S M WANG Jia-ping GOTO M	1992	IEEE Trans on Computers1992，41，9：	1
14	An application of Petri net reduction for ADA tasking deadlock analysis 显示文摘	SHATZ S Tu S MURATA T	1996	IEEE Transactions on Parallel and Distributed Sys- tems1996，7，12：	1
15	Detection of Ada Static Deadlocks Using Petri Net Invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
16	A Framework for Model-based Design of Agent-oriented Software显示文摘	Xu Haiping Shatz S M	2003	IEEE Transactions on Software Engineering2003，29，1：	1
17	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis显示文摘	Shatz S M Tu S Murata T Duri S	1996	IEEE Transactions on Parallel and Distributed Systems1996，7，12：	1
18	Detection of Ada Static Dead- locks Using Petri Net Invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
19	Formalization of object behavior and interactions from UML models显示文摘	Saldhana J A Shatz S M Hu Zh X	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，6：	1
20	ADK:an agent development kit based on a formal model for multi-agent systems显示文摘	XU Hai-ping SHATZ S M	2003	Journal of Automated Software Engineering2003，10，4：	1

返回顶部每页显示：

共3页首页上一页第1页下一页末页 /3 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示