Sciweavers

288 search results - page 35 / 58
» A Case Study for Aspect Based Updating
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
GG
2008
Springer
13 years 8 months ago
Graph-Based Tools: The Contest
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
Arend Rensink, Pieter Van Gorp
CASES
2005
ACM
13 years 9 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
JIS
2008
134views more  JIS 2008»
13 years 7 months ago
The quality of evidence in knowledge management research: practitioner versus scholarly literature
The fragmentation of knowledge management (KM) as a field and as an area of research poses serious theoretical challenges for researchers. The viability of KM rests on how the com...
Hamid R. Ekbia, Noriko Hara
WEBDB
2010
Springer
224views Database» more  WEBDB 2010»
14 years 22 days ago
Concurrent One-Way Protocols in Around-the-Clock Social Networks
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
Royi Ronen, Oded Shmueli