Sciweavers

2637 search results - page 35 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
122
Voted
WSC
2007
15 years 6 months ago
A co-design modeling approach for computer network systems
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
Weilong Hu, Hessam S. Sarjoughian
211
Voted
TOPNOC
2010
14 years 10 months ago
Schedule-Aware Workflow Management Systems
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
Ronny Mans, Nick C. Russell, Wil M. P. van der Aal...
142
Voted
PRESENCE
2008
110views more  PRESENCE 2008»
15 years 3 months ago
Modeling of Tool-Tissue Interactions for Computer-Based Surgical Simulation: A Literature Review
Surgical simulators present a safe and potentially effective method for surgical training, and can also be used in robot-assisted surgery for pre- and intra-operative planning. Ac...
Sarthak Misra, K. T. Ramesh, Allison M. Okamura
125
Voted
ICFP
2007
ACM
16 years 3 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
136
Voted
BMCBI
2007
202views more  BMCBI 2007»
15 years 3 months ago
ProtNet: a tool for stochastic simulations of protein interaction networks dynamics
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...
Massimo Bernaschi, Filippo Castiglione, Alessandra...