208 search results - page 11 / 42 » How NOT to review a paper: the tools and techniques of the a... |
GG
2010
Springer
13 years 7 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
ECIS
2003
13 years 8 months ago
2003
Electronic business has a strong influence on the relationships between partners within supply chains. Small and Medium Sized Enterprises (SMEs) need an affordable, integrated set...
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
WSC
2000
13 years 8 months ago
2000
This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...