Sciweavers

575 search results - page 38 / 115
» A Calculus for Interaction Nets
Sort
View
BMCBI
2010
126views more  BMCBI 2010»
13 years 9 months ago
Simulation of a Petri net-based Model of the Terpenoid Biosynthesis Pathway
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
Aliah Hazmah Hawari, Zeti-Azura Mohamed-Hussein
CHI
2006
ACM
14 years 9 months ago
ButterflyNet: a mobile capture and access system for field biology research
Through a study of field biology practices, we observed that biology fieldwork generates a wealth of heterogeneous information, requiring substantial labor to coordinate and disti...
Ron B. Yeh, Chunyuan Liao, Scott R. Klemmer, Fran&...
PERCOM
2008
ACM
14 years 8 months ago
MyNet: A Platform for Secure P2P Personal and Social Networking Services
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...
Dimitris N. Kalofonos, Zoe Antoniou, Franklin Reyn...
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 3 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
APN
2001
Springer
14 years 1 months ago
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter And...