4542 search results - page 839 / 909 » Design patterns for data structures |
IJAIT
2006
14 years 12 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
103
click to vote
JIB
2008
14 years 11 months ago
2008
Biological data is often structured in the form of complex interconnected networks such as protein interaction and metabolic networks. In this paper, we investigate a new problem ...
CSDA
2007
14 years 11 months ago
2007
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...
114
click to vote
JNW
2006
14 years 11 months ago
2006
The IEEE 802.15.4 standard is designed as a low power and low data rate protocol offering high reliability. It defines a beaconed and unbeaconed version. In this work, we analyze t...
ENTCS
2007
14 years 11 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...