1567 search results - page 181 / 314 » A Mechanized Model of the Theory of Objects |
130
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
107
Voted
SIGECOM
2009
ACM
15 years 8 months ago
2009
ACM
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
121
Voted
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
100
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
JCB
1998
15 years 1 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...