Sciweavers

290 search results - page 56 / 58
» Music Analysis and Modeling Through Petri Nets
Sort
View
HT
2006
ACM
14 years 1 months ago
A social hypertext model for finding community in blogs
Blogging has become the newest communication medium for creating a virtual community, a set of blogs linking back and forth to one another’s postings, while discussing common to...
Alvin Chin, Mark H. Chignell
APSCC
2007
IEEE
13 years 9 months ago
Consumer-Friendly Shopping Assistance by Personal Behavior Log Analysis on Ubiquitous Shop Space
: This paper has proposed a shopping assistance service. We provide consumer-friendly services which based on personal behavior log data. The consumer-friendly services are informa...
Somkiat Sae-Ueng, Sineenard Pinyapong, Akihiro Ogi...
PE
2011
Springer
167views Optimization» more  PE 2011»
13 years 2 months ago
Passage-time computation and aggregation strategies for large semi-Markov processes
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. ...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 2 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
HICSS
2005
IEEE
148views Biometrics» more  HICSS 2005»
14 years 1 months ago
Common Data Model for Design Document Exchange in Business-to-Business Networks
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
Katrine Jokinen, Jukka Borgman, Reijo Sulonen