39 search results - page 8 / 8 » Animation for Validation of Business System Specifications |
BMCBI
2008
13 years 5 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
MDM
2004
Springer
13 years 10 months ago
2004
Springer
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
NSDI
2010
13 years 6 months ago
2010
Holding residential ISPs to their contractual or legal obligations of "unlimited service" or "network neutrality" is hard because their traffic management poli...