1917 search results - page 1 / 384 » The York Abstract Machine |
ENTCS
2008
13 years 4 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
ICMLA
2009
13 years 2 months ago
2009
components of a system by susceptibility to failure. In this extended abstract, we present an ongoing project to rank the underground primary feeders of Consolidated Edison Company...
ESWS
2008
Springer
13 years 6 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
VRST
2003
ACM
13 years 10 months ago
2003
ACM
d Abstract] Demetri Terzopoulos New York University, Media Research Lab 719 Broadway, 12th Floor New York, NY 10003, USA www.mrl.nyu.edu/∼dt
IJFCS
2007
13 years 4 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...