115 search results - page 14 / 23 » How to Drive a B Machine |
118
Voted
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
107
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Single-track vehicles, such as motorcycles, provide an agile mobile platform. Modeling and control of motorcycles for agile maneuvers, such as those by professional racing ride...
118
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Metadata development can be challenging because the vocabulary should be flexible and extensible, widely applicable, interoperable, and both machine and human readable. We describ...
104
click to vote
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
SuperParent-One-Dependence Estimators (SPODEs) loosen Naive-Bayes’ attribute independence assumption by allowing each attribute to depend on a common single attribute (superpare...
128
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...